Home | deutsch  | Legals | Sitemap | KIT

Inferring Invariants by Static Analysis in KeY

Inferring Invariants by Static Analysis in KeY
Type:Diplomarbeit
Date:2007
Supervisor:

Prof. P. H. Schmitt

Author:

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