Abstract Data Types and Software Validation

Open Webpage

John V. Guttag, Ellis Horowitz, David R. Musser

Published: 1978, Last Modified: 25 Jan 2026Commun. ACM 1978EveryoneRevisionsBibTeXCC BY-SA 4.0