Refinement workshop : proceedings of the 4th refinement workshop, Cambridge, 9-11 Jan., 1991 / edited by Joseph M. Morris and Roger C. Shaw
Refinement workshop : proceedings of the 4th refinement workshop, Cambridge, 9-11 Jan., 1991 / edited by Joseph M. Morris and Roger C. Shaw - - London : Springer-Verlag, 1991 1991 - viii,478 p. 24 cm - .
0-387-19657-91
Computer software-Development-Congresses
Computers-Congresses
681.3.06 Ref:4:91