Alle Veröffentlichungen

@inproceedings{neumann_2009,
  author = {Rebekka Neumann AND Michael Thies AND Uwe Kastens},
  title = {Incremental, two-level deadlock analysis for incomplete Java Card 3.0 programs},
  booktitle = {Third International Conference on Tests And Proofs (TAP)},
  year = {2009}
}