International Conference on Formal Engineering Methods (9th 2007 Boca Raton, Fla.) profile picture

International Conference on Formal Engineering Methods (9th 2007 Boca Raton, Fla.)

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

Stand Alone

Formal methods and software engineering