* Virtual Library * Formal Methods * Who's Who

Who's Who on the Web in Formal Methods
Search

Please mail J.P.Bowen@reading.ac.uk if you know of relevant WWW home pages not included here.

This page provides a search facility for the WWW home pages of people and groups with an interest in formal methods if they have a personal URL.

Provide a Perl regular expression as a search pattern for the directory database.

! Search for new entries.

Maintained by Jonathan Bowen as part of the OUCL archive.

This page uses htgrep v1.6 for searching the Formal Methods Who's Who list.