Proof techniques for hierarchically structured programs
Robinson, Lawrence, Levitt, Karl N.Volume:
20
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/359461.359483
Date:
April, 1977
File:
PDF, 7.91 MB
english, 1977