An approach to systems verification William R. BevierWarren A. Hunt JrWilliam D. Young OriginalPaper Pages: 411 - 428
The problem of guaranteeing the absence of a complete set of reductions Larry Wos Basic Research Problems Pages: 531 - 532
An automated reasoning problem associated with proving claims about programs using Floyd-Hoare inductive assertion methods G. H. ChisholmB. T. SmithA. S. Wojcik Problem Corner Pages: 533 - 540