Specifications of Reliable Software: Proceedings

Front Cover
IEEE Computer Society
IEEE Computer Society, 1979 - Computer software - 237 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

New Techniques and Their Application
1
Formal Techniques and Automatic Processing to Ensure Correctness in Requirements Specifications
15
Notes on Type Abstraction
36
Copyright

16 other sections not shown

Common terms and phrases

Bibliographic information