Refinement Workshop,, 5,
5th refinement workshop : proceedings / ed. Cliff B. Jones, Roger C. Shaw, Tim Denvir
5th refinement workshop : proceedings / ed. Cliff B. Jones, Roger C. Shaw, Tim Denvir
. - London : Springer-Verlag, cop. 1992
. - VIII, 378 p. 25 cm
. - (Workshops in computing)
3-540-19752-4 (Brochado)
519.683
681.3.06