Proceedings of the 1st Workshop on Formal Arguments for Cps CerTification
Resource type: Ressourcentyp: Buch (Online)Book (Online)Series: ACM Conferences | ACM Digital LibraryPublisher: [Erscheinungsort nicht ermittelbar] : Association for Computing Machinery, 2025Description: 14 pISBN:- 9798400716072
- FACCT '25
No physical items for this record