BCS-FACS Northern Formal Methods Workshop (2nd 1997 Ilkley, England)

Books by BCS-FACS Northern Formal Methods Workshop (2nd 1997 Ilkley, England) on BookTides.