Proving hypersafety compositionally
D'Osualdo, Emanuele ; Farzan, Azadeh ; Dreyer, Derek 2022 KOPS Universität Konstanz
- Link zu diesem Datensatz
- https://d-nb.info/1345523904
- Titel
- Proving hypersafety compositionally
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Emanuele D'Osualdo, Azadeh Farzan, Derek Dreyer
- Autor(en)
-
- D'Osualdo, Emanuele
- Farzan, Azadeh
- Dreyer, Derek
- Verlag
- Konstanz : KOPS Universität Konstanz [2022]
- Jahr
- Erscheinungsdatum: 2022
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:352-2-1lvy4m2xpa5qp4
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: In: Proceedings of the ACM on Programming Languages. ACM. 2022, 6(OOPSLA2), S. 289-314. eISSN 2475-1421. Verfügbar unter: doi: 10.1145/3563298
- Enthalten in: In: Proceedings of the ACM on Programming Languages. ACM. 2022, 6(OOPSLA2), S. 289-314. eISSN 2475-1421. Verfügbar unter: doi: 10.1145/3563298
- Enthalten in: In: Proceedings of the ACM on Programming Languages. ACM. 2022, 6(OOPSLA2), S. 289-314. eISSN 2475-1421. Verfügbar unter: doi: 10.1145/3563298
- Stand
- 06.11.2024 22:45
- Im Katalog seit
- 07.03.2026