Specification and verification of database dynamics

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{aebeabf436fa403793017986460b20e7,

title = "Specification and verification of database dynamics",

author = "J. Fiadeiro and A. Sernadas",

year = "1988",

month = aug,

day = "1",

doi = "10.1007/BF00291052",

language = "English",

volume = "25",

pages = "625--661",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Springer New York",

number = "6",

}

TY - JOUR

T1 - Specification and verification of database dynamics

AU - Fiadeiro, J.

AU - Sernadas, A.

PY - 1988/8/1

Y1 - 1988/8/1

UR - https://www.scopus.com/pages/publications/0024138111

U2 - 10.1007/BF00291052

DO - 10.1007/BF00291052

M3 - Article

AN - SCOPUS:0024138111

SN - 0001-5903

VL - 25

SP - 625

EP - 661

JO - Acta Informatica

JF - Acta Informatica

IS - 6

ER -