International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)
Is this your author profile? Create an account to claim and customize it!
Stand Alone
Is this your author profile? Create an account to claim and customize it!