Margaria, Tiziana, editor
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings, part II
[, Springer-Verlag], 2012
eBooks
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings, part I
edited by Tiziana Margaria, Bernhard Steffen
Springer, 2012
eBooks
Progress in VLSI design and test : 16th international symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceeding
edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay
Springer-Verlag, 2012
eBooks
Stabilization, safety, and security of distributed systems : 14th international symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings
edited by Andrea W. Richa, Christian Scheideler
Springer-Verlag , 2012
eBooks
Distributed computing : 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings
edited by Marcos K. Aguilera
Springer-Verlag , 2012
eBooks