ISoLA 2006: ISoLA - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. IEEE, 2006.
Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers. Volume 4313 of Lecture Notes in Computer Science, Springer, 2006.

runs on WebDSL