Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2010 |
Sprache | Englisch |
Identifikator | ISSN: 2150-914X KITopen-ID: 1000017644 |
Erschienen in | The Archive of Formal Proofs |
Heft | 2 |
Seiten | 100 S. |