Robert Veroff

1 paper in the IJCAI proceedings

IJCAI 1981

Application of Automatic Transformations to Program Verification

with Lawrence J. Henschen

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings