Verification and Validation of Temporal Business Rules

Babis Theodoulidis, Petros Alexakis, Pericles Loucopoulos. Verification and Validation of Temporal Business Rules. In DAISD. pages 1-15, 1992.

No reviews for this publication, yet.