Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Paper
An experiment in automatic verification of programs
Abstract
How effective is a compiler at replacing explicit verification, and what is the cost of this technique?. © 1963, ACM. All rights reserved.
Related
Maciel Zortea, Miguel Paredes, et al.
IGARSS 2021
Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research
Conference paper
Discourse segmentation in aid of document summarization
B.K. Boguraev, Mary S. Neff
HICSS 2000