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