Ernst, GW, Navlakha, JK, Ogden, WF. (1982). Verification of programs with procedure-type parameters
.
ACTA INFORMATICA, 18(2), 149-169. 10.1007/BF00264436
Ernst, GW, Navlakha, JK, Ogden, WF. (1982). Verification of programs with procedure-type parameters
. ACTA INFORMATICA, 18(2), 149-169. 10.1007/BF00264436