Software Development With Z: A Practical Approach to Formal Methods in Software Engineering Book Discussion
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
by
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)