Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

A Fixpoint-based Rule for Loop Verification

Studienarbeit

Autor(en):Daniel Bruns
Hochschule:Universität Karlsruhe
Jahr:2007

BibTeX

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