Skip to main content

From Algebra to Operational Semantics

Jifeng He and C. A. R. Hoare

Journal
Inf. Process. Lett.
Number
2
Pages
75−80
Volume
45
Year
1993