Peter Gorm Larsen

Contracts in CML

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    J Woodcock, University of York, DenmarkA Cavalcanti, University of York, DenmarkJ Fitzgerald, Newcastle University, DenmarkS Foster, University of York, Denmark
  • Peter Gorm Larsen
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
EditorsT Margaria, B Steffen
PublisherSpringer
Publication year2014
Pages54-73
ISBN (print)978-3-662-45230-1
ISBN (Electronic)978-3-662-45231-8
DOIs
Publication statusPublished - 2014
Event6th International Symposium, ISoLA 2014 - Imperial, Corfu, Greece
Duration: 8 Oct 201411 Oct 2014

Conference

Conference6th International Symposium, ISoLA 2014
LocationImperial
LandGreece
ByCorfu
Periode08/10/201411/10/2014
SeriesLecture Notes in Computer Science
Volume8803
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 95139948