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