John Derrick

الكتب
Refinement Refinement
Refinement
٢٠١٨
Refinement in Z and Object-Z Refinement in Z and Object-Z
Refinement in Z and Object-Z
٢٠١٣
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
٢٠٠٧