Improving and refining programs by program manipulation

Publisher Website

1 January 1976

conference paper
Published by Association for Computing Machinery (ACM)

https://doi.org/10.1145/800191.805652

Abstract

No abstract available

Cited by 20 articles