@inproceedings{5b7e73f4938d40f491e4c3e3a8230eaa,
title = "Visual Studio Code VDM Support",
author = "Rask, \{Jonas Kj{\ae}r\} and Madsen, \{Frederik Palludan\} and Nick Battle and Macedo, \{Hugo Daniel\} and Larsen, \{Peter Gorm\}",
year = "2021",
month = jan,
language = "English",
pages = "35--50",
editor = "John Fitzgerald and Tomohiro Oda and Macedo, \{Hugo Daniel\}",
booktitle = "Proceedings of the 18th International Overture Workshop",
note = "18th International Overture Workshop ; Conference date: 07-12-2020 Through 07-12-2020",
}