Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20 - 21, 2010 ; proceedings (Springer, 2010)
Literaturangaben