David R. Musser

Publication Statistics

Publication period start
1978
Publication period end
1978
Number of co-authors
2

Co-authors

Number of publications with favourite co-authors

Productive Colleagues

Most productive colleagues in number of publications

Publications

Guttag, John V., Horowitz, Ellis, Musser, David R. (1978): Abstract Data Types and Software Validation. In Communications of the ACM, 21 (12) pp. 1048-1064.