@techreport{Hofmann13Solvers, author = {Martin Hofmann and Aleksandr Karbyshev and Helmut Seidl}, title = {On the {V}erification of {L}ocal {G}eneric {S}olvers}, year = 2013, publisher = {Technische Universit\"at M\"unchen}, doi = {10.13140/RG.2.1.5111.0243}, }