Authors Search About

Veroff, Robert

1 publications

IJCAI 1981 Application of Automatic Transformations to Program Verification Robert Veroff, Lawrence J. Henschen

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy