KIT | KIT-Bibliothek | Impressum | Datenschutz

Light-weight containers

Lochbihler, A.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2013
Sprache Englisch
Identifikator ISSN: 2150-914x
KITopen-ID: 1000038442
Erschienen in Archive of Formal Proofs
Band 2013
Heft April
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page