Peter Gorm Larsen

The Overture Initiative – Integrating Tools for VDM

Research output: ResearchArticle in proceedings

  • Peter Gorm Larsen
  • Nick Battle
    Nick BattleFujitsuUnited Kingdom
  • Miguel Ferreira
    Miguel FerreiraSoftware Improvement GroupNetherlands
  • John Fitzgerald
    John FitzgeraldNewcastle UniversityUnited Kingdom
  • Kenneth Lausdahl
    Kenneth LausdahlDenmark
  • Marcel Verhoef
    Marcel VerhoefChessNetherlands
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