Custom cover image
Custom cover image

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
Other title:
  • FACCT '25
Genre/Form: DOI: DOI: 10.1145/3722571Online resources: PPN: PPN: 1925772349Package identifier: Produktsigel: ZDB-15-ACM
No physical items for this record