Overview of VDM-RT Constructs and Semantic Issues. Lausdahl, K., Verhoef, M., Larsen, P. G., & Wolff, S. In Pierce, K., Plat, N., & Wolf, S., editors, Proceedings of the 8th Overture Workshop, of Technical Report Series, pages 57–67, September, 2010.
bibtex   
@INPROCEEDINGS{Lausdahl&10,
  KEY           = "Lausdahl\&10",
  AUTHOR        = "Kenneth Lausdahl and Marcel Verhoef and Peter Gorm Larsen and Sune Wolff",
  TITLE         = "{Overview of VDM-RT Constructs and Semantic Issues}",
  BOOKTITLE     = "Proceedings of the 8th Overture Workshop",
  YEAR          = "2010",
  MONTH         = "September",
  LOCATION 	= "Newcastle, UK",
  SERIES        = {Technical Report Series},
  NUMBER        = {CS-TR-1224},
  PAGES		= {57--67},
  EDITOR     	= {Ken Pierce and Nico Plat and Sune Wolf},
}

%G VDM COSIM TOOL OVERTURE

Downloads: 0