VDM++ as a Basis of Scalable Agile Formal Software Development
収録刊行物
-
- 9th Overture Workshop on VDM, 2011
-
9th Overture Workshop on VDM, 2011 2011
University of Limerick, Ireland