Advertisement
VL2.jpg
Virtual Library
Computing
Software engineering
Formal methods
The OBJ archive

The OBJ archive contains information relevant to the OBJ3 and 2OBJ theorem provers and is available via anonymous FTP. OBJ was originated by Prof. Joseph Goguen.

An OBJ FORUM mailing list is available. To subscribe, send email to objforum-request@comlab.ox.ac.uk.

See:

See also


Last updated by Jonathan Bowen, 24 March 2009.

Community content is available under CC-BY-SA unless otherwise noted.