Program verification using Ada
Author(s)
Bibliographic Information
Program verification using Ada
(Cambridge computer science texts, 13)
Cambridge University Press, 1982
- : pbk
Available at / 28 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 335-339
Includes index