TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 7.

Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin A. ; Walther, Christoph :
Automated Verification for an Efficient Elliptic-Curve Algorithm - A Case Study.
In: Information Security: Proceedings of the IX. International Conference, January 2007.
[Konferenz- oder Workshop-Beitrag], (2007)

Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; Aderhold, Markus :
Context Dependent Procedures and Computed Types in VeriFun.
In: Proceedings of the 1st Workshop "Programming Languages meet Program Verification" : 2007 ; Elsevier ; 61-78.
[Buchkapitel], (2007)

Schlosser, Andreas ; Walther, Christoph ; Aderhold, Markus :
Axiomatic Specifications in VeriFun.
In: Third Verification Workshop <Seattle (WA), USA,2006> .
[Konferenz- oder Workshop-Beitrag], (2006)

Schlosser, Andreas ; Walther, Christoph ; Aderhold, Markus :
Axiomatic specification in VeriFun.
In: Proceedings of the 6th Verification Workshop (VERIFY-06) Federated Logic Conference, Eds.:. Serge Autexier and Heiko Mantel, S. 146-163, Seattle, WA, 2006. .
[Konferenz- oder Workshop-Beitrag], (2006)

Schlosser, Andreas ; Walther, Christoph ; Gonder, Michael ; Aderhold, Markus :
Context Dependent Procedures and Computed Types in VeriFun.
In: First Workshop "Programming Languages meet Program Verification" <Seattle (WA), USA,2006> .
[Konferenz- oder Workshop-Beitrag], (2006)

Aderhold, Markus ; Walther, Christoph ; Szallies, Daniel ; Schlosser, Andreas :
A Fast Disprover for VeriFun.
In: Proceedings Workshop on Non-Theorems, Non-Validity, Non-Provability (DISPROVING-06) Eds.: Wolfgang Ahrendt ; Peter Baumgartner ; Hans de Nivelle, S. 59-69,. - Seattle, WA, 2006. Federated Logic Conference.
[Konferenz- oder Workshop-Beitrag], (2006)

Walther, Christoph ; Aderhold, Markus ; Schlosser, Andreas :
The L 1.0 Primer.
TU Darmstadt, Programmiermethodik , Darmstadt
[Report], (2006)

Diese Liste wurde am Sat Sep 23 07:02:42 2017 CEST generiert.