George W. Ernst, Raymond J. Hookway, James A. Menegay, William F. Ogden. Modular Verification of Ada Generics. Computer Languages, Systems \& Structures, 16(3/4):259-280, 1991.
@article{ErnstHMO91,
title = {Modular Verification of Ada Generics},
author = {George W. Ernst and Raymond J. Hookway and James A. Menegay and William F. Ogden},
year = {1991},
researchr = {https://researchr.org/publication/ErnstHMO91},
cites = {0},
citedby = {0},
journal = {Computer Languages, Systems \& Structures},
volume = {16},
number = {3/4},
pages = {259-280},
}