Skip to main content

Teaching Formal Methods in Context

Jim Davies‚ Andrew Simpson and Andrew Martin

Crossref
DBLP:conf/tfm/2004
Pages
185−202
Year
2004