Publisher
Springer Nature Singapore
Reference13 articles.
1. S. Liu, Y. Chen, F. Nagoay, and J. McDermid. Formal Specification-Based Inspection for Verification of Programs. IEEE Transactions on Software Engineering, 38(5):1100–1122, September 2012.
2. C. B. Jones. Systematic Software Development Using VDM. 2nd edition, Prentice Hall, 1990.
3. J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996.
4. J. R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
5. C. L. Heitmeyer. Software Cost Reduction. In J. Marciniak, editor, Encyclopedia of Software Engineering (2nd Ed.), pages 1374–1380, New York, 2002. John Wiley & Sons, Inc.