Online-Ressource | |
Verfasst von: | Artho, Cyrille [VerfasserIn] |
Titel: | Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems |
Institutionen: | ACM Special Interest Group on Ada Programming Language [MitwirkendeR] |
ACM Special Interest Group on Programming Languages [MitwirkendeR] | |
ACM SIGs [MitwirkendeR] | |
Verlagsort: | New York,NY,United States |
Verlag: | Association for Computing Machinery |
Jahr: | 2023 |
Umfang: | 1 online resource (59 pages) |
Gesamttitel/Reihe: | ACM Conferences |
ACM Digital Library | |
Fussnoten: | Title from The ACM Digital Library |
ISBN: | 9798400703980 |
DOI: | doi:10.1145/3623503 |
URL: | Verlag: https://dl.acm.org/action/showBook?doi=10.1145/3623503 |
DOI: https://doi.org/10.1145/3623503 | |
Datenträger: | Online-Ressource |
Sprache: | eng |
Sach-SW: | Logic and verification |
Model verification and validation | |
Redundancy | |
K10plus-PPN: | 1868974855 |
Lokale URL UB: | Zum Volltext |