Aarhus University Seal / Aarhus Universitets segl

Visual Studio Code VDM Support

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

  • Jonas Kjær Rask, DIGIT, Aarhus University, Department of Engineering
  • ,
  • Frederik Palludan Madsen, DIGIT, Aarhus University, Department of Engineering
  • ,
  • Nick Battle, Independent, United Kingdom
  • Hugo Daniel Macedo
  • Peter Gorm Larsen
Original languageEnglish
Title of host publicationProceedings of the 18th International Overture Workshop
EditorsJohn Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
Number of pages16
Publication year19 Jan 2021
Pages35-50
Publication statusPublished - 19 Jan 2021
Event18th International Overture Workshop - Online
Duration: 7 Dec 2020 → …

Workshop

Workshop18th International Overture Workshop
LocationOnline
Periode07/12/2020 → …

See relations at Aarhus University Citationformats

ID: 208523156