27. Workshop der GI-Fachgruppe Programmiersprachen & Rechenkonzepte

Book title Buchtitel

Editor Herausgeber_in

Hanus, Michael
Reck, Fabian

Publisher Herausgeber

Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel

Place of publishing Erscheinungsort

0811 / Kiel

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Zwirchmayr, Jakob	A Satisfiability Modulo Theories Memory-Model and Assertion Checker for C	Konferenzbeitrag Inproceedings	2010