Specification and verification of database dynamics

J. Fiadeiro, A. Sernadas

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)625-661
Number of pages37
JournalActa Informatica
Volume25
Issue number6
DOIs
Publication statusPublished - 1 Aug 1988

Cite this