Realizing an equational specification

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-10843-2_37 ◽

1981 ◽

pp. 459-478 ◽

Author(s):

A. Pnueli ◽

R. Zarhi

Download Full-text