Formal Techniques for Networked and Distributed Systems - FORTE 2007 John Derrick & Jüri Vain의 도서 더 보기

Refinement

2018년

Refinement in Z and Object-Z

2013년