@inproceedings{Hofmann10Solver,
  author = {Martin Hofmann and Aleksandr Karbyshev and Helmut Seidl},
  title = {Verifying a {L}ocal {G}eneric {S}olver in {C}oq},
  booktitle = {Static Analysis},
  editor = {Radhia Cousot and Matthieu Martel},
  month = {September},
  year = 2010,
  pages = {340-355},
  series = {Lecture Notes in Computer Science},
  volume = {6337},
  publisher = {Springer},
  doi = {10.1007/978-3-642-15769-1_21},
}