Imperative Specification Programming
Book chapter (January 2006)
The most recent citing publications are shown below. View all 18 publications that cite this research output on Dimensions.
Book chapter (January 2006)
Article in Journal of Software Maintenance Research and Practice (July 1994)
Article in IEEE Transactions on Software Engineering (January 1991)