An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Design of a separable transition-diagram compiler
Communications of the ACM
The interpreter: a microprogrammable building block system
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Hi-index | 0.00 |