Formal Methods Wiki

This wiki's URL has been migrated to the primary fandom.com domain.Read more here

READ MORE

Formal Methods Wiki
Advertisement

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