DIGIT

Websitehttps://digit.au.dk/

Postal addressShow on map
Finlandsgade 22
8200 Aarhus N
Denmark

33 Article in proceedings
19 Journal article
7 Conference article
3 Book chapter
More
- 2 Review
- 1 Paper

1 results

Filter

2020
Towards a Static Check of FMUs in VDM-SL
Battle, N., Thule, C., Gonçalves Gomes, C. Â., Macedo, H. D. & Larsen, P. G., 2020, p. 272-288. 17 p.
Research output: Contribution to conference › Paper › Research › peer-review
2 Citations (Scopus)