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}, }