Logik und Formale Methoden

Inferring Invariants by Static Analysis in KeY

BibTeX

@misc{Weiss2007,
  author       = {Benjamin Wei{\ss}},
  title        = {Inferring Invariants by Static Analysis in {KeY}},
  howpublished = {Diplomarbeit, Fakult{\"a}t f{\"u}r Informatik, Universit\"at Karlsruhe},
  year         = {2007}
}