comp.specification

Home >comp

comp.specification.misc

Formal specification methods in general.

comp.specification.z

Discussion about the formal specification notation Z.