Cyrille Artho, Peter Csaba Ölveczky, editors, Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022. ACM, 2022. [doi]
Conference: ftscs2022
@proceedings{ftscs-2022,
title = {Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022},
year = {2022},
doi = {10.1145/3563822},
url = {https://doi.org/10.1145/3563822},
researchr = {https://researchr.org/publication/ftscs-2022},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022},
conference = {ftscs},
editor = {Cyrille Artho and Peter Csaba Ölveczky},
publisher = {ACM},
isbn = {978-1-4503-9907-4},
}