Kategorie Fachartikel

Data refinement in Isabelle/HOL

 |  Alexander Krauss

In: Interactive Theorem Proving (ITP 2013), volume 7998 of Lecture Notes in Computer Science, pages 100–115. Springer Verlag, 2013. (Alexander Krauss, Florian Haftmann, Ondrej Kuncar, Tobias Nipkow)

Alexander Krauss
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

Passend zum Thema

Kategorie News
Great Place to Work 2023 – Triple für QAware
2 min.
Kategorie
Kategorie News
Wir rollen das 49€ Ticket für unser Team aus!
1 min.
Kategorie
Kategorie Podcasts
PRODcast Folge #14: FinTech-Produkte
2 min.
Ekkehard Schmider
Kategorie
Kategorie Fachartikel
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
2 min.
Michael Rohleder
Kategorie
Kategorie Fachartikel
A Layered Software City for Dependency Visualization (Best Paper Award)
1 min.
Johannes Weigend
Kategorie
Kategorie Vorträge
Mit LoRaWAN und Serverless zur eigenen Smart-Office-Lösung
1 min.
Mario-Leander Reimer
Kategorie
Chatbot
Schliessen