Bibliography of Measures of Complexity
A bibliography on the philosophy and measurement of complexity.
bruce.edmonds.name/combib/   reviews

The World-Wide Web Virtual Library: Formal Methods
archive.comlab.ox.ac.uk/formal-methods.html   reviews

The World-Wide Web Virtual Library: The Z notation
archive.comlab.ox.ac.uk/z.html   reviews

Abstract State Machines
Abstract State Machine Home Page ...
www.eecs.umich.edu/gasm/   reviews

Laboratory for Applied Logic
LABORATORY MISSION The Laboratory for Applied Logic is a research unit of the Department of Computer Science at Brigham Young University. The laboratory specializes in applying mathematical methods to problems in computer dependability. RESEARCH PROJECTS The research conducted in the LAL is currently divided into two major areas: verification for multi-device communication protocols, ...
lal.cs.byu.edu/   reviews

Shemesh.larc.nasa.govh
Shemesh Web Server The following sites reside on this server: NASA Langley Formal Methods Team Object-Oriented Technology in Aviation Workshop 15th International Conference on Theorem Proving in Higher Order Logics NASA Langley Colloquium/Sigma Lectures Streamlining Software Aspects of Certification Curator and Responsible NASA Official: C. Michael Holloway last modified: 6 February 2002 ...
shemesh.larc.nasa.gov/   reviews