DMCA
Formal Specification: a Roadmap (2000)
Cached
Download Links
- [www.cs.ucl.ac.uk]
- [www.cs.nott.ac.uk]
- [www0.cs.ucl.ac.uk]
- [lml.ls.fi.upm.es]
- [www.cs.nott.ac.uk]
- [www2.ufpa.br]
- [www.ufpa.br]
- [ufpa.br]
- [www.cs.nott.ac.uk]
- [ftp.info.ucl.ac.be]
- [www.info.ucl.ac.be]
- [www.cs.wm.edu]
- [research.cs.queensu.ca]
- [biblio.info.ucl.ac.be]
- [research.cs.queensu.ca]
- [santos.cis.ksu.edu]
- [research.cs.queensu.ca]
- [www.cs.ucl.ac.uk]
- [www0.cs.ucl.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Axel Van Lamsweerde
Citations: | 50 - 0 self |