Formal Methods Wiki
Register
Advertisement
VL2

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.

Advertisement