Formal methods to aid the evolution of software. (1995)

by M Ward, K H Bennett
Venue:Int. J. Softw. Eng. Knowl. Eng.