Peter Gorm Larsen, John S. Fitzgerald. The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA. Journal of Logic and Algebraic Programming, 85(5):985-998, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.