"4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, ..."

David Sinclair, J. Paul Gibson (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics