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