Skip to main content

Unifying theories of programming

Jifeng He and C. A. R. Hoare

Book Title
Participants Copies for Relational Methods in Logic‚ Algebra and Computer Science‚ 4th International Seminar RelMiCS‚ Warsaw‚ Poland‚ Septermber 14−20‚ 1998
Editor
Ewa Orlowska and Andrzej Szalas
Pages
97−99
Year
1998