Alle Veröffentlichungen

Details for klohs_2008

Title: A Summary Function Model for the Validation of Interprocedural Analysis Results
Booktitle: Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification, COCV'08
Written by: Karsten Klohs:
Volume: Number:
Chapter:
Publisher:
Address:
ISBN:
Organization:
Institution:
ISSN:
File:

Note:

Abstract:

Eintrag als Bibtex exportieren

Impressum | Webmaster | Letzte Änderungen am : 16.10.2013