Fachartikel

Kategorie Fachartikel

Partiality and recursion in interactive theorem provers: An overview

 |  Alexander Krauss

In: Mathematical Structures in Computer Science, 26(1), 2016. (Ana Bove, Alexander Krauss, Matthieu Sozeau) zum Artikel

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
Fast and efficient operational time series storage: The missing link in dynamic software analysis
Florian Lautenschlager
Kategorie
Kategorie Fachartikel
Cloud Native News #2: Konferenzeindrücke
Andreas Zitzelsberger
Kategorie
Kategorie Fachartikel
Scalable LCF-style proof translation
Alexander Krauss
Kategorie