Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. Fitzgerald, J. S., Larsen, P. G., & Sahara, S. Technical Report CS-TR-1099, School of Computing Science, Newcastle University, May, 2008.
bibtex   
@TECHREPORT{Fitzgerald&08b,
  KEY           = "Fitzgerald\&08",
  AUTHOR        = {J. S. Fitzgerald and P. G. Larsen and S. Sahara},
  TITLE         = "Modelling and Analysis in VDM: Proceedings of the
                   Fourth VDM/Overture Workshop",
  INSTITUTION   = "School of Computing Science, Newcastle University",
  YEAR          = "2008",
  MONTH         = "May",
  NUMBER        = "{CS-TR-1099}",
  SIZE          = "71"}

%G VDM OVERTURE TOOL CPS DESTECS
Downloads: 0