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

Mark Lawford Jeff McDougall Peter Froebel Greg Moum Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. 73-88 2000 conf/amast/2000 AMAST http://link.springer.de/link/service/series/0558/bibs/1816/18160073.htm db/conf/amast/amast2000.html#LawfordMFM00