Inhalt des Dokuments
Publikationen
Zitatschlüssel | Liebrenz2016 |
---|---|
Autor | Timm Liebrenz and Verena Klös and Paula Herber |
Seiten | 9–17 |
Jahr | 2016 |
DOI | 10.1145/3092893.3092895 |
Journal | ACM SIGAda Ada Letters |
Jahrgang | 36 |
Nummer | 2 |
Monat | December |
Notiz | Proceedings of the 2016 ACM SIGAda High Integrity Language Workshop (HILT 2016) |
Verlag | ACM |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe