Publications

3 results at International Conference on Reliable Software 1975

Specification techniques for data abstractions
- - Barbara Liskov
  - Stephen Zilles
- 1975
- International Conference on Reliable Software 1975
The effect of certain modular design principles on testability
- - N.P. Edwards
- 1975
- International Conference on Reliable Software 1975
A new approach to program testing
- - James C. King
- 1975
- International Conference on Reliable Software 1975

Specification techniques for data abstractions