- Preview Available
- Scholarly Journal
Program Optimization Using Invariants
Katz, S.
IEEE Transactions on Software Engineering; New York Vol. 4, Iss. 5, (Sep 1978): 378-389.
DOI:10.1109/TSE.1978.233858
This is a limited preview of the full PDF
Try and log in through your library or institution to see if they have access.





