Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Teaching Formal Methods in Context

Teaching Formal Methods in Context

Jim Davies‚ Andrew Simpson and Andrew Martin

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

Links

See Also

Back to Top