Software Development with Z: A Practical Approach to Formal Methods in Software Engineering

Software Development with Z

A Practical Approach to Formal Methods in Software Engineering

1992 • 334 pages