containing Haftmann
Google Groups: [isabelle] Combining locales?
16.11.2011: Clemens Quoting Alexander Krauss : Hi Randy, On 11/14/2011 07:40 PM, Florian Haftmann wrote: I dimly remember that there have been changes ...
SourceForge.net: HOL theorem-proving system: hol-info
HOL-Boogie --- An Interactive Prover for the Boogie Program-Verifier Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkok and John Matthews.
sourceforge.net
CONTRIBUTORS - The Computer Laboratory
February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and Lukas Bulwahn , ... 2006/2007: Alexander Krauss, TUM HOL: function package and related ...
www.cl.cam.ac.uk
Imperative Functional Programming with Isabelle/HOL
Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, and John Matthews: Imperative Functional Programming with Isabelle/HOL. We introduce a lightweight
www4.in.tum.de
isabelle.in.tum.de
* October 2010: Alexander Krauss, TUM. Command partial_function for function definitions based on complete. partial orders in HOL. * September 2010: Florian Haftmann, TUM
isabelle.in.tum.de
All web results to the name "Alexander Krauss"
Sorted by relevance Sort by date