Formal specification techniques for engineering modular C programs
Author(s)
Bibliographic Information
Formal specification techniques for engineering modular C programs
(The Kluwer international series in software engineering, 1)
Kluwer Academic, c1996
Available at / 10 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [205]-208
Includes index