Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers By Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)
2013 | 277 Pages | ISBN: 3642358608 | PDF | 4 MB