Peter Gorm Larsen

Interpreting Implicit VDM Specifications using ProB

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference article

    Kenneth Lausdahl, DenmarkHiroshi Ishikawa, Department of Information and Culture, Niigata University of International and Information Studies, Japan
  • Peter Gorm Larsen
Original languageEnglish
Book seriesUniversity of Newcastle-upon-Tyne. Computing Science. Technical Report Series
VolumeCS-TR-1446
Pages (from-to)1-15
Number of pages15
ISSN1368-1060
StatePublished - Jan 2015
Event12th Overture Workshop on VDM - Newcastle, United Kingdom
Duration: 21 Jun 201421 Jun 2014

Workshop

Workshop12th Overture Workshop on VDM
CountryUnited Kingdom
CityNewcastle
Period21/06/201421/06/2014

See relations at Aarhus University Citationformats

ID: 84624534