Verification and Validation of Temporal Business Rules

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Bibliographical metadata

Original languageEnglish
Title of host publicationDAISD
Pages1-15
Number of pages15
Publication statusPublished - 1992
Event3rd International Workshop on the 'Deductive Approach to Information Systems and Databases' - Costa Brava, Spain
Event duration: 1 Jan 1824 → …

Conference

Conference3rd International Workshop on the 'Deductive Approach to Information Systems and Databases'
CityCosta Brava, Spain
Period1/01/24 → …