BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
orient (1)
refin (1)
environ (1)
base (1)
formal (1)

Stem cooz$ (all stems)

2 papers:

TOOLSTOOLS-ASIA-1999-WangLPZZ #approach #calculus #development #formal method #refinement
A Formal Software Development Approach Based on COOZ and Refinement Calculus (YW, BL, JP, MZ, GZ), pp. 261–266.
TOOLSTOOLS-ASIA-1998-YuanHXLZ #object-oriented
Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools (XY, DH, HX, YL, GZ), pp. 206–213.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.