International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany) profile picture

International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Formal methods
International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany) — Books & Biography | Menrva Books