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.

Abstract

Abstract is missing.