Stefan Hallerstede, Eduard Kamburjan, editors, Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023. Volume 3507 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Conference: FM2023
@proceedings{fm-2023fmdt,
title = {Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023},
year = {2023},
url = {https://nbn-resolving.org/urn:nbn:de:0074-3507-7},
researchr = {https://researchr.org/publication/fm-2023fmdt},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023},
conference = {FM},
editor = {Stefan Hallerstede and Eduard Kamburjan},
volume = {3507},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}