Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 : proceedings
edited by Viktor Kuncak, Andrey Rybalchenko
Springer-Verlag, 2012
eBooks
Passive and active measurement : 13th international conference, PAM 2012, Vienna, Austria, March 12-14, 2012 : proceedings
edited by Nina Taft, Fabio Ricciato
Springer-Verlag, 2012
eBooks
Software engineering and formal methods : 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings
edited by George Eleftherakis, Mike Hinchey, Mike Holcombe
Springer-Verlag, 2012
eBooks
Computer information systems and industrial management : 11th IFIPTC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012 : proceedings
edited by Agostino Cortesi
Springer-Verlag, 2012
eBooks
NETWORKING 2012 : 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings, part II
edited by Robert Bestak
Springer-Verlag, 2012
eBooks