Realizing an Equational Specification.

Amir Pnueli, R. Zarhi

Browse the full ICALP paper archive.