Go to page
 

Bibliographic Metadata

Title
EUF-Proofs for SMT4J / submitted by: Katalin Fazekas
AuthorFazekas, Katalin
Thesis advisorBiere, Armin ; Seidl, Martina
Published2015
Description64 S. : graph. Darst.
Institutional NoteLinz, Univ., Master-Arb., 2015
Annotation
Zsfassung in dt. und engl. Sprache
LanguageEnglish
Document typeMaster Thesis
Keywords (GND)Framework <Informatik> / SMT Solver / Java <Programmiersprache> / Automatisches Beweisverfahren
URNurn:nbn:at:at-ubl:1-4021 Persistent Identifier (URN)
Restriction-Information
 The work is publicly available
Files
EUF-Proofs for SMT4J [0.84 mb]
Links
Reference
Classification