Formal Methods
Z
ORA Canada (Z,EVES)
ZTC: a free Z type checker to FTP (Linux, Solaris, DOS...)
Description Logics
Enrico Franconis' course on Description Logics
An Introduction ot Descriptoin Logics
by Daniele Nardi & Ronald Brachman
Last updated 2006-01-02 10:52
Rob Kremer