Ingo Schmitt [SEP] native language
Ingo Schmitt
Ingo Schmitt is a German politician who was Member of the European Parliament for Berlin from 1999 to 2005. On September 18, 2005, he was elected to the Bundestag and consequently resigned from the European Parliament. He is a member of the conservative Christian Democratic Union.
External links.
- Website from Ingo Schmitt
- Biography by German Bundestag
- Biography by CDU/CSU
Deductive Software Verification – The KeY Book: From Theory to Practice. Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (Eds.). Springer, 2016.
- A comparison of tools for teaching formal software verification. Ingo Feinerer and Gernot Salzer. Springer, 2008
- Programming With Proofs: Language Based Approaches To Totally Correct Software. Aaron Stump. Verified Software: Theories, Tools, and Experiments, 2005.
- High Assurance (for Security or Safety)