Page Content
Publications
Citation key | Liebrenz2016 |
---|---|
Author | Timm Liebrenz and Verena Klös and Paula Herber |
Pages | 9–17 |
Year | 2016 |
DOI | 10.1145/3092893.3092895 |
Journal | ACM SIGAda Ada Letters |
Volume | 36 |
Number | 2 |
Month | December |
Note | Proceedings of the 2016 ACM SIGAda High Integrity Language Workshop (HILT 2016) |
Publisher | ACM |
Zusatzinformationen / Extras
Quick Access:
Schnellnavigation zur Seite über Nummerneingabe