Deductive Software Verification - the KeY BookWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt · First published 2016Open the Tome
Trauma BiomechanicsKai-Uwe Schmitt, Peter F. Niederer, Markus H. Muser, Felix Walz · First published 2004Open the Tome
Verification of Object-Oriented Software. the KeY ApproachBernhard Beckert, Reiner Hähnle, Peter H. Schmitt · First published 2007Open the Tome
Sacred CompaniesN. J. Demerath, Peter Dobkin Hall, Terry Schmitt, Rhys H. Williams · First published 1998Open the Tome
Essays on theological librarianshipCalvin H. Schmitt, Peter De Klerk, Earle Hilgert · First published 1980Open the Tome
