Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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