div class=trans-pagebutton class=gotoPage data-page=1Page 1button div class=trans-imageimg data-url=documentieeetrans1-ic-4-k-jensen-and-n-wirth-pascal-user-manual-and-report-2nd-edhtmlpage=1 data-page=1 class=trans-thumb lazyload alt=Page 1: IEEEtrans1 - IC Engineering4 K Jensen and N Wirth PASCAL User Manual and Report 2nd ed New York: Springer-Verlag 1978 151 A Mili Self-checking programs: An axiomatic approach loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII= data-src=https:reader034fdocumentsinreader034viewer20220422165ebed2c00b425514ee5b71edhtml5thumbnails1jpg width=140 height=200 divdivdiv class=trans-pagebutton class=gotoPage data-page=2Page 2button div class=trans-imageimg data-url=documentieeetrans1-ic-4-k-jensen-and-n-wirth-pascal-user-manual-and-report-2nd-edhtmlpage=2 data-page=2 class=trans-thumb lazyload alt=Page 2: IEEEtrans1 - IC Engineering4 K Jensen and N Wirth PASCAL User Manual and Report 2nd ed New York: Springer-Verlag 1978 151 A Mili Self-checking programs: An axiomatic approach loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII= data-src=https:reader034fdocumentsinreader034viewer20220422165ebed2c00b425514ee5b71edhtml5thumbnails2jpg width=140 height=200 divdivdiv class=trans-pagebutton class=gotoPage data-page=3Page 3button div class=trans-imageimg data-url=documentieeetrans1-ic-4-k-jensen-and-n-wirth-pascal-user-manual-and-report-2nd-edhtmlpage=3 data-page=3 class=trans-thumb lazyload alt=Page 3: IEEEtrans1 - IC Engineering4 K Jensen and N Wirth PASCAL User Manual and Report 2nd ed New York: Springer-Verlag 1978 151 A Mili Self-checking programs: An axiomatic approach loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII=...