Interpreting Implicit VDM Specifications using ProB. Lausdahl, K., Ishikawa, H., & Larsen, P. G. In Battle, N. & Fitzgerald, J., editors, Proceedings of the 12th Overture Workshop, of Technical Report Series, pages 1–15, January, 2015. Computing Science, Newcastle University.
Interpreting Implicit VDM Specifications using ProB [pdf]Paper  bibtex   
@inproceedings{Lausdahl&14a,
  KEY  	        		= "Lausdahl\&14",
  AUTHOR        		= {Lausdahl, Kenneth and Ishikawa, Hiroshi and Larsen, Peter Gorm},
  BOOKTITLE   	 	= {Proceedings of the 12th Overture Workshop},
  EDITOR        		= {Battle, Nick and Fitzgerald, John},
  MONTH         		= {January},
  NUMBER        		= {CS-TR-1446},
  ORGANIZATION  	= {Computing Science, Newcastle University},
  SERIES        		= {Technical Report Series},
  TITLE         		= {Interpreting Implicit VDM Specifications using ProB},
  YEAR          		= {2015},
  URL			= {http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf},
  pages 			= "1--15"
}
Downloads: 0