@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}
}
Inferring Invariants by Static Analysis in KeY
|
|