Formal Techniques for Networked and Distributed Systems - FORTE 2007 Sách Khác Của John Derrick & Jüri Vain

Refinement Refinement
Refinement
2018
Refinement in Z and Object-Z Refinement in Z and Object-Z
Refinement in Z and Object-Z
2013