APPLICATION OF AUTOMATIC TRANSFORMATIONS TO PROGRAM VERIFICATION.

R. L. Veroff*, L. J. Henschen

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
EditorsAnn Drinan
Pages472-479
Number of pages8
Volume1
StatePublished - Dec 1 1981

ASJC Scopus subject areas

  • Engineering(all)

Cite this