Bibliography

A ProCoS II project bibliography is available in

BibTeX source format for use with the LaTeX document preparation system if desired. It may be searched using the box below if your WWW client supports forms. Otherwise the entire bibliography is available. Hyperlinks are available for some of the references that are on-line.

Comments, new entries and corrections to existing entries are welcome, especially from project members - please contact Jonathan Bowen.

Provide a Perl regular expression as a search pattern for the bibliography.
Display the bibliography source file in full.
(Large, no hyperlinks to documents added.)
Return all entries in the bibliography.
This adds hyperlinks for documents where available and known.
(Large and slow: not recommended except for local users.)
Entries for subject areas:
Entries for publication types:

See also:

Other formal methods bibliographies.
Safety-critical systems bibliography.
Z notation bibliography.
ProCoS II bibliography mirror site, together with other Bibliographies on Software/Hardware Engineering and Formal Methods - part of the Collection of Computer Science Bibliographies. (A highly recommended resource.)

Maintained by Jonathan Bowen as part of the ProCoS archive.
Further entries and hyperlinks are welcome.

This page uses htgrep v1.6 for searching the ProCoS II bibliography.

procos-request@comlab.ox.ac.uk