Fachartikel

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)

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
Einschränkungen und Konsistenzbedingungen bei der Entwicklung einer Softwarearchitektur
Josef Adersberger
Kategorie
Kategorie Fachartikel
150 Mitarbeiter im Home Office: Wie das Unternehmen trotz Corona läuft
Christian Kamm
Kategorie
Kategorie Fachartikel
Per Anhalter durch das Cloud-Universum
Josef Adersberger
Kategorie