![](/img/cover-not-exists.png)
Abstract data types and software validation
Guttag, John V., Horowitz, Ellis, Musser, David R.Volume:
21
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/359657.359666
Date:
December, 1978
File:
PDF, 10.16 MB
english, 1978