Publikationen

PBMC: Symbolic Slicing for the Verification of Concurrent Programs

AutorSaissi, Habib; Bokor, Peter; Suri, Neeraj
Datum2015
ArtConference Proceedings
InProceedings of the Symposium on Automated Technology for Verification and Analysis, ATVA 2015
SchlüsselTUD-CS-2015-0118
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/101699

Cybersecurity-Konferenzen

zur Übersicht

Aus- und Weiterbildung

Informieren Sie sich über die Aus- und Weiter­bildungs­angebote der in ATHENE mitwirkenden Institutionen

Mehr INFO