An approach to systems verification (0)

by William R Bevier, Warren A Hunt Jr, J Strother Moore, William D Young
Venue:Journal of Automated Reasoning