REFERENTIAL OPACITY IN NONDETERMINISTIC DATA REFINEMENT (VOL 1, PG 233, 1993)

Authors
QIAN XL GOLDBERG A
Citation
Xl. Qian et A. Goldberg, REFERENTIAL OPACITY IN NONDETERMINISTIC DATA REFINEMENT (VOL 1, PG 233, 1993), ACM transactions on programming languages and systems, 17(1), 1995, pp. 180-180
Citations number
1
Categorie Soggetti
Computer Sciences","Computer Science Software Graphycs Programming
Journal title
ACM transactions on programming languages and systems → ACNP
ISSN journal
01640925
Volume
17
Issue
1
Year of publication
1995
Pages
180 - 180
Database
ISI
SICI code
0164-0925(1995)17:1<180:ROINDR>2.0.ZU;2-Q