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 proceeding › Conference contribution

Original language	English (US)
Title of host publication	Unknown Host Publication Title
Editors	Ann Drinan
Pages	472-479
Number of pages	8
Volume	1
State	Published - Dec 1 1981

ASJC Scopus subject areas

@inproceedings{3b60b4e096124e6393ad4169156768da,

title = "APPLICATION OF AUTOMATIC TRANSFORMATIONS TO PROGRAM VERIFICATION.",

author = "Veroff, {R. L.} and Henschen, {L. J.}",

year = "1981",

month = dec,

day = "1",

language = "English (US)",

volume = "1",

pages = "472--479",

editor = "Ann Drinan",

booktitle = "Unknown Host Publication Title",

}

TY - GEN

T1 - APPLICATION OF AUTOMATIC TRANSFORMATIONS TO PROGRAM VERIFICATION.

AU - Veroff, R. L.

AU - Henschen, L. J.

PY - 1981/12/1

Y1 - 1981/12/1

UR - http://www.scopus.com/inward/record.url?scp=0019646189&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0019646189&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0019646189

VL - 1

SP - 472

EP - 479

BT - Unknown Host Publication Title

A2 - Drinan, Ann

ER -