"5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 ..."

Andrew Butterfield, Glenn Strong, Claus Pahl (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics