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

Тип публикация:

Conference Proceedings

Автори:

Mark Lawford; Jeff McDougall; Peter Froebel; Greg Moum

Източник:

Algebraic Methodology and Software Technology (2000)
Share/Save