![](/img/cover-not-exists.png)
The B-Book (Assigning Programs to Meanings) || Examples of Refinements
Abrial, J. R., Hoare, A., Chapron, PierreVolume:
10.1017/CB
Year:
1996
Language:
english
DOI:
10.1017/cbo9780511624162.016
File:
PDF, 2.61 MB
english, 1996