
cover from: Google Books
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings
Stefan Kowalewski, Marco Roveri (eds.).
2010
91733
isbn:9783642158988|isbn:3642158986