Aarhus University Seal

Towards UML and VDM Support in the VS Code Environment

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

Original languageEnglish
Title of host publicationProceedings of the 20th International Overture Workshop
EditorsHugo Daniel Macedo, Ken Pierce
Number of pages16
Publication yearAug 2022
Pages50-65
DOIs
Publication statusPublished - Aug 2022
Event20th Overture Workshop - Aarhus University, Aarhus, Denmark
Duration: 5 Jul 20225 Jul 2022

Conference

Conference20th Overture Workshop
LocationAarhus University
LandDenmark
ByAarhus
Periode05/07/202205/07/2022

See relations at Aarhus University Citationformats

ID: 279439146