Biblio
Export 1 results:
Filters: Автор is Jeff McDougall [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.