Specification techniques for data abstractions
- Barbara Liskov
- Stephen Zilles
- 1975
- International Conference on Reliable Software 1975
Publications
Date
Featured collections
Popular topics
3 results at International Conference on Reliable Software 1975
A new approach to program testing
- James C. King
- 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