Modular Verification of Ada Generics

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.