E.I. Organick, T.M. Carter, M.P. Maloney, A. Davis, A.B. Hayes, D. Klass, G. Lindstrom, B.E. Nelson, K.F. Smith, "Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A First Experiment," IEEE Software, vol. 1, no. 1, pp. 31-49, January-March, 1984.

@article{ 10.1109/MS.1984.233394,
author = {E.I. Organick and T.M. Carter and M.P. Maloney and A. Davis and A.B. Hayes and D. Klass and G. Lindstrom and B.E. Nelson and K.F. Smith},
title = {Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A First Experiment},
journal ={IEEE Software},
volume = {1},
number = {1},
issn = {0740-7459},
year = {1984},
pages = {31-49},
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.1984.233394},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - MGZN
JO - IEEE Software
TI - Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A First Experiment
IS - 1
SN - 0740-7459
SP31
EP49
EPD - 31-49
A1 - E.I. Organick,
A1 - T.M. Carter,
A1 - M.P. Maloney,
A1 - A. Davis,
A1 - A.B. Hayes,
A1 - D. Klass,
A1 - G. Lindstrom,
A1 - B.E. Nelson,
A1 - K.F. Smith,
PY - 1984
KW - null
VL - 1
JA - IEEE Software
ER -