Luigia Petre profile picture

Luigia Petre

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

Stand Alone

Dependability and Computer Engineering
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.