Steyn, Paul S.; Van der Poll, John A.
(2007-06)
The specification of enterprise information systems using formal
specification languages enables the formal verification of these systems.
Reasoning about the properties of a formal specification is a tedious task that
can ...