Zur Seitenansicht
 

Titelaufnahme

Titel
EUF-Proofs for SMT4J / submitted by: Katalin Fazekas
VerfasserFazekas, Katalin
Betreuer / BetreuerinBiere, Armin ; Seidl, Martina
Erschienen2015
Umfang64 S. : graph. Darst.
HochschulschriftLinz, Univ., Master-Arb., 2015
Anmerkung
Zsfassung in dt. und engl. Sprache
SpracheEnglisch
DokumenttypMasterarbeit
Schlagwörter (GND)Framework <Informatik> / SMT Solver / Java <Programmiersprache> / Automatisches Beweisverfahren
URNurn:nbn:at:at-ubl:1-4021 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist gemäß den "Hinweisen für BenützerInnen" verfügbar
Dateien
EUF-Proofs for SMT4J [0.84 mb]
Links
Nachweis
Klassifikation