Software development by refinement
Dusko Pavlovic and Douglas R. Smith
Book Title
Formal Methods at the Crossroads
Editor
Bernhard K. Aichernig and Tom Maibaum
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
2757
Year
2003
Dusko Pavlovic and Douglas R. Smith