Programm-Analyse

@inproceedings{CatePaperSOQUA,
  author = {Peter Pfahler AND J{\"u}rgen G{\"u}nther},
  title = {Cate: A System for Analysis and Test of Java Card Applications},
  booktitle = {Proceedings of the First International Workshop on Software Quality (SOQUA 2004), Lecture Notes in Informatics (LNI), Volume P-58},
  year = {2004}
}