TY  - RPRT
TI  - An IBM 370 assembly language program verifier
AU  - Maurer, W. D.
PY  - 1977
UR  - https://ntrs.nasa.gov/citations/19780028211
ID  - 19780028211
ER  -