Teaching Formal Methods in Context (Symposium on Teaching Formal Methods, 2004)

(untitled) - Davies, J; Simpson, A; Martin, A