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 journalArticle

Published
Original languageEnglish
Pages (from-to)625-661
Number of pages37
JournalActa Informatica
Volume25
Issue number6
DOIs
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