Refinement Refinement
2018년
Refinement in Z and Object-Z Refinement in Z and Object-Z
2013년
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007년