Kaisa Sere profile picture

Kaisa Sere

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

Stand Alone

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