![](/img/cover-not-exists.png)
Modular verification of Ada generics
George W Ernst, Raymond J Hookway, James A Menegay, William F OgdenVolume:
16
Year:
1991
Language:
english
Pages:
22
DOI:
10.1016/0096-0551(91)90010-7
File:
PDF, 1.95 MB
english, 1991