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

Written by Jonathan P. Bowen