The 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010)

Web: 
https://es-static.fbk.eu/events/fmics2010/index.php
Date: 
September, 2010
Country: 
Belgium (Antwerp)