Formal development in B abstract machine notation
- 30 June 1995
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 37 (5-6) , 303-316
- https://doi.org/10.1016/0950-5849(95)99366-u
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Safety-critical systems, formal methods and standardsSoftware Engineering Journal, 1993