Author: David R. Musser
Publications
Publication period start: 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.