Formal Techniques for Networked and Distributed Systems - FORTE 2007 Más libros de John Derrick & Jüri Vain

Refinement

2018

Refinement in Z and Object-Z

2013