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
Auxiliary Functions
- Font size:
