Biblio
Export 1 results:
Filters: Автор is Greg Moum [Clear All Filters]
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software In Algebraic Methodology and Software Technology., 2000.
