Imperative functional programming in Isabelle/HOL

 |  Alexander Krauss

In: Otmane Ait Mohamed, César Muñoz, and Sofiène Tahar, editors, Theorem Proving in Higher Order Logics (TPHOLs 2008) (Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, and John Matthews) PDF

Alexander Krauss
A contribution from
Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]

More informations
Alexander
Chatbot
Schliessen