Top 428 sj sc wagenaar PDF Book Page 17

book image

Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis (auth.), Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book (eds.)
·203 Pages
·2012
·4.575 MB

book image

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

Peter Schachte, Harald Søndergaard (auth.), E. Allen Emerson, Kedar S. Namjoshi (eds.)
·452 Pages
·2006
·4.442 MB