FM 2009: Formal Methods: Second World Congress, Eindhoven, ...
Preview
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009,
Proceedings Ana Cavalcanti, Dennis Dams. Ana Cavalcanti Dennis Dams (Eds.)
FM 2009: Formal Methods Second World Congress Eindhoven,The Netherlands,
...