Programm-Analyse

@inproceedings{Klohs04Memory,
  author = {Karsten Klohs AND Uwe Kastens},
  title = {Memory Requirements of Java Bytecode Verification on Limited Devices},
  booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004)},
  year = {2005}
}