Publications
This page includes are links to information on publications by
members of the
Centre.
News
A
report of the
Program Verification and Semantics: The Early Work
meeting held at the Science Museum in 2001 appeared
in the
IEEE Annals of the History of Computing,
24(1):90-92, January-March 2002,
and
Computer Resurrection
(The Bulletin of the Computer Conservation Society)
27:15-18, Spring 2002.
Individuals
The following individual members of the Centre maintain their own list
of publications online as a separate web page or have an entry in the
DBLP Computer Science Bibliography. Many of these
publications are also accessible online.
Other
members of the
Centre
may maintain a list on their main homepage.
See also
meetings in which CAFM members are involved and also other
formal methods meetings.
In addition, try
Google Scholar.
Part of the
CAFM
information
provided by
Jonathan Bowen.
Last updated
26 July 2007.
(DBLP)