![](/img/cover-not-exists.png)
A rewriting strategy to verify observational congruence
P. Inverardi, M. NesiVolume:
35
Year:
1990
Language:
english
Pages:
9
DOI:
10.1016/0020-0190(90)90023-q
File:
PDF, 797 KB
english, 1990