Teaching Formal Methods in Context
Jim Davies‚ Andrew Simpson and Andrew Martin
Details
| Crossref |
DBLP:conf/tfm/2004 |
| Pages |
185−202 |
| Year |
2004 |
Links
Related pages
|
People |
Jim Davies‚ Andrew Simpson and Andrew Martin
| Crossref |
DBLP:conf/tfm/2004 |
| Pages |
185−202 |
| Year |
2004 |
|
People |