Peter Gorm Larsen

The Overture Initiative – Integrating Tools for VDM

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearch

  • Peter Gorm Larsen
  • Nick Battle, Fujitsu, United KingdomMiguel Ferreira, Software Improvement Group, NetherlandsJohn Fitzgerald, Newcastle University, United KingdomKenneth Lausdahl, DenmarkMarcel Verhoef, Chess, Netherlands
Original languageEnglish
Title of host publicationHarnessing Theories for Tool Support in Software
Number of pages10
Publication yearNov 2010
Pages9
Chapter19
StatePublished - Nov 2010

See relations at Aarhus University Citationformats

ID: 54594035