High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology Book Discussion
High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT))
by
High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT))