Home | english  | Impressum | Sitemap | KIT

Inferring Invariants by Static Analysis in KeY

Inferring Invariants by Static Analysis in KeY
Typ:Diplomarbeit
Datum:2007
Betreuer:

Prof. P. H. Schmitt

Bearbeiter:

Benjamin Weiß

Links:PDF

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}
}