Software Modeling Techniques and the Semantic Web

Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof

Alcoa: the alloy constraint analyzer

Proceedings of the 22nd international conference on Software engineering

Z Approach to Semantic Web

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

The FaCT System

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

The Z/EVES System

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation

Semantic Web for Extending and Linking Formalisms

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

UML for ontology development

The Knowledge Engineering Review

Verifying DAML+OIL and Beyond in Z/EVES

Proceedings of the 26th International Conference on Software Engineering