Alloy: A Lightweight Object Modelling Notation (2001)
Cached
Download Links
- [sdg.lcs.mit.edu]
- [www.eecs.umich.edu]
- [www.cs.wm.edu]
- [sdg.lcs.mit.edu]
- [sdg.csail.mit.edu]
- DBLP
Other Repositories/Bibliography
by
Daniel Jackson
| Citations: | 278 - 13 self |
Document Versions
| Alloy: A Lightweight Object Modelling Notation –Daniel Jackson — 2001 |
