Wolfgang Goerigk und Verification - Info zur Person

(1 - 6 von 14

)

Mechanical A-posteriori Verification of Results: A Case Study for a...

www.aaai.org

AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.

Friedemann H. Simon - dblpdblp.uni-trier.de › Persons

dblp.uni-trier.de

Wolfgang Goerigk, Friedemann H. Simon: Towards Rigorous Compiler Implementation Verification. Collaboration between Human and Artificial Societies 1999: ...

Mechanical Software Verification – topic of research paper in...

cyberleninka.org

Wolfgang Goerigk ^ ^. Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität Kiel, Germany. Abstract. We present lessons learned from ...

cfp Strategies 2001

www.seas.upenn.edu

INVITED TALKS Wolfgang Goerigk (U. Kiel, Germany): Mechanical Software Verification: High Level Control Aspects from a User's Perspective William McCune (Argonne

Alle Infos zum Namen "Wolfgang Goerigk"

Verwandte Suchanfragen zu Wolfgang Goerigk

Marcus Porembski
Harald Krause
Axel Dold

Thilo Gaul
Wilhelm Hasselbring
Sören Frey

Heinz Knutzen
Ulrich Hoffmann
Petra Hofstedt

Personen
Vorname "Wolfgang" (62599)
Name "Goerigk" (112)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wolfgang Goerigk und Verification Person-Info

Mechanical A-posteriori Verification of Results: A Case Study for a...

Friedemann H. Simon - dblpdblp.uni-trier.de › Persons

Mechanical Software Verification – topic of research paper in...

cfp Strategies 2001

Alle Infos zum Namen "Wolfgang Goerigk"