Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software

Publication Type:

Conference Proceedings

Authors:

Mark Lawford; Jeff McDougall; Peter Froebel; Greg Moum

Source:

Algebraic Methodology and Software Technology (2000)
Share/Save