@MastersThesis{Bruns07,
author = {Daniel Bruns},
title = {A Fixpoint-based Rule for Loop Verification},
year = 2007,
month = jun,
language = {english},
school = {Universit{\"a}t Karlsruhe},
type = {Studienarbeit}
}
A Fixpoint-based Rule for Loop Verification
| Autor(en): | Daniel Bruns |
|---|---|
| Hochschule: | Universität Karlsruhe |
| Jahr: | 2007 |