Fachartikel

Kategorie Fachartikel

Scalable LCF-style proof translation

 |  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)

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
Fachposter: Cloud-native Architektur-Muster
Mario-Leander Reimer
Kategorie
Kategorie Fachartikel
Softwaretechnik im Auto – Management-Lehrgang „Software im Automobil”
Christian Kamm
Kategorie
Kategorie Fachartikel
Alternativen für die Cloud – Java und Go im Vergleich
Johannes Siedersleben
Kategorie