Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

A Fixpoint-based Rule for Loop Verification

Study Thesis
Author(s):Daniel Bruns
School:Universität Karlsruhe
Year: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}
}