Peter Gorm Larsen

Contracts in CML

Research output: Research - peer-reviewArticle in proceedings

DOI

  • J Woodcock
    J WoodcockUniversity of YorkDenmark
  • A Cavalcanti
    A CavalcantiUniversity of YorkDenmark
  • J Fitzgerald
    J FitzgeraldNewcastle UniversityDenmark
  • S Foster
    S FosterUniversity of YorkDenmark
  • 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
StatePublished - 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