Specification and verification of database dynamics. / Fiadeiro, J.; Sernadas, A.

In: Acta Informatica, Vol. 25, No. 6, 01.08.1988, p. 625-661.

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)625-661
Number of pages37
JournalActa Informatica
Issue number6
Publication statusPublished - 1 Aug 1988
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7188525