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