Programm-Analyse

@inproceedings{klohs_2008,
  author = {Karsten Klohs},
  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},
  year = {2008}
}