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
No references recorded for this publication.
No citations of this publication recorded.