Name Card

Full name Familienname, Vorname
Reck, Fabian
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zwirchmayr, Jakob A Satisfiability Modulo Theories Memory-Model and Assertion Checker for CKonferenzbeitrag Inproceedings2010
2Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus Towards an Orchestrated Approach for Annotation VerificationKonferenzbeitrag Inproceedings2010