TU Darmstadt / ULB / TUbiblio

A Fast Disprover for VeriFun

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)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2006
Autor(en): Aderhold, Markus ; Walther, Christoph ; Szallies, Daniel ; Schlosser, Andreas
Titel: A Fast Disprover for VeriFun
Sprache: Englisch
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Veranstaltungstitel: 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
Hinterlegungsdatum: 20 Nov 2008 08:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen