![](/img/cover-not-exists.png)
[ACM Press the 20th annual Southeast regional conference - Knoxville, Tennessee (1982.04.01-1982.04.03)] Proceedings of the 20th annual Southeast regional conference on - ACM-SE 20 - Synthesizing abstract data type specifications
Belkhouche, Boumediene, Urban, Joseph E., Riccardi, Gregory A.Year:
1982
Language:
english
DOI:
10.1145/503896.503928
File:
PDF, 348 KB
english, 1982