Inproceedings,

Analysis of Structured Programs

.
STOC, page 240-252. ACM, (1973)

Meta data

Tags

Users

  • @dblp

Comments and Reviews