Verified resource guarantees for heap manipulating programs
- Albert, E.
- Bubel, R.
- Genaim, S.
- Hähnle, R.
- Román-Díez, G.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642288715
Datum der Publikation: 2012
Ausgabe: 7212 LNCS
Seiten: 130-145
Art: Konferenz-Beitrag