"Integrated Formal Methods, Third International Conference, IFM 2002, ..."

Michael J. Butler, Luigia Petre, Kaisa Sere (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics