Refinement in Z and Object-Z Mehr Bücher von John Derrick & Eerke A. Boiten

Refinement

2018

Formal Techniques for Networked and Distributed Systems - FORTE 2007

2007