Peter Gorm Larsen

VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

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

    Tomohiro Oda, Key Technology Laboratory, Software Research Associates Inc., Keijiro Araki, Kyushu University,
  • Peter Gorm Larsen
Original languageEnglish
Title of host publicationProceedings of the Third FME Workshop on Formal Methods in Software Engineering : Formalise 2015
Number of pages7
Volume2015
PublisherIEEE
Publication year24 Jul 2015
Pages33-39
Article number7166695
ISBN (print)9781479919345
DOIs
StatePublished - 24 Jul 2015
Event3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015 - Florence, Italy
Duration: 18 May 2015 → …

Conference

Conference3rd FME Workshop on Formal Methods in Software Engineering, Formalise 2015
LandItaly
ByFlorence
Periode18/05/2015 → …

Bibliographical note

Alternativ titel: 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE)

    Research areas

  • Animation, Exploratory Formal Specification, VDM, Web IDE

See relations at Aarhus University Citationformats

ID: 95139318