Fachartikel

Kategorie Fachartikel

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

Ein Beitrag von
Alexander Krauss

Alexander Krauss ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]

Mehr Informationen
Alexander

Ähnliche Beiträge

Kategorie Fachartikel
Challenges in Assessing Technical Debt based on Dynamic Runtime Data
Marcus Ciolkowski
Kategorie
Kategorie Fachartikel
IOTA – die nächste Generation der Blockchain?
Moritz Kammerer
Kategorie
Kategorie Fachartikel
User Experience for Model-Driven Engineering: Challenges and Future Directions
Harald Störrle
Kategorie