@InProceedings{Schirmer:LPAR04-398,
  author =       "Norbert Schirmer",
  title =        "A Verification Environment for Sequential Imperative Programs in {Isabelle/HOL}",
  booktitle =    "Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004",
  editor =       "Franz Baader and Andrei Voronkov",
  year =         "2005",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3452",
  pages =        "398--414",
  ee =           "http://www.springerlink.com/content/jftyjwxjlcf7mjhb",
  URL =          "http://isabelle.in.tum.de/~schirmer/pub/hoare_lpar04.pdf",
}