Software Engineering 2014

Book title Buchtitel

Publisher Herausgeber

LNI

Place of publishing Erscheinungsort

227

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut	Concolic Testing of Concurrent Programs	Konferenzbeitrag Inproceedings	2014
	2		Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut	Reusing Information in Multi-Goal Reachability Analyses	Konferenzbeitrag Inproceedings	2014