@misc{Klasen2010,
  author    = {Volker Klasen},
  title     = {Verifying Dijkstra's Algorithm with KeY},
  institution = {Institut f{\"u}r Informatik},
  type      = {diplom},
  pages     = {iv, 69},
  year        = {2010},
}