The NDB database specified in the RAISE specification language

Authors
Chris George
Citation
Chris George, The NDB database specified in the RAISE specification language, Formal aspects of computing The international journal of formal methods , 4(1), 1992, pp. 48-75
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
4
Issue
1
Year of publication
1992
Pages
48 - 75
Database
ACNP
SICI code