Formal Methods Info
- Z stuff
- Marc's Z page
- NASA Langley Formal Methods Program (07-April-1994)
- http://shemesh.larc.nasa.gov/fm-top.html
- Documentation for the HOL Theorem Proving System
- http://lal.cs.byu.edu/lal/hol-documentation.html
- NASA Langley Formal Methods Program (07-April-1994)
- http://shemesh.larc.nasa.gov/fm-top.html
- Entry "VDM" in software engineering glossary
- http://dxsting.cern.ch/sting/glossary-intro.html?VDM
- SRI-CSL-FM
- http://www.csl.sri.com/sri-csl-fm.html
- Motivation for Formal Methods Research
- http://shemesh.larc.nasa.gov/whyfm.html
- Z to Ada Refinement
- news:swordfish.768469813@minster.york.ac.uk
- CMU SEI Server
- http://www.sei.cmu.edu/FrontDoor.html
- Batch Queueing Systems
- http://cornelius.ucsf.edu/~srp/batch/systems.html
- SMWG Home Page
- http://d0sgi1.fnal.gov/
- Literate Programming Library
- http://info.desy.de/user/projects/LitProg.html
- Top -- The Glasgow System of Literate Programming
- http://info.desy.de/pub/www/projects/LitProg/glasgow/top.html
- Norman Ramsey's stuff
- http://www.cs.virginia..edu/~nr
- Remote file ftp.shsu.edu/tex-archive/web/clip
- ftp://ftp.shsu.edu/tex-archive/web/clip
- comp.programming.literate FAQ
- http://128.146.8.52/hypertext/faq/usenet/literate-programming-faq/faq.html
- Newsgroup comp.programming.literate, Articles 1862-1881
- news:comp.programming.literate