2010
2008
2006
2002
- Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, ProceedingsMichael J. Butler, Luigia Petre, Kaisa Sere, editors, Volume 2335 of Lecture Notes in Computer Science, Springer, 2002.
2001
2000
1999