27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"

Event name
27. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"
 
Event type
Event for scientific audience
 
Start date
03-05-2010
End date
05-05-2010
 
Location
Bad Honnef
Country
Germany
 
Event format Veranstaltungsformat
On Site

Publications 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 Inproceedings1-Jan-2010
2Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus Towards an Orchestrated Approach for Annotation VerificationKonferenzbeitrag Inproceedings2010