A single complete rule for data refinement

Authors
P.H.B.Gardiner,"Carroll Morgan
Citation
P.h.b.gardiner,"carroll Morgan, A single complete rule for data refinement, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 367-382
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
4
Year of publication
1993
Pages
367 - 382
Database
ACNP
SICI code