"Systematic Testing of Data Abstractions Based on Software Specifications."

Stuart H. Zweben, Wayne D. Heym, Jon Kimmich (1992)

Details and statistics

DOI:

access: unavailable

type: Journal Article

metadata version: 2020-04-01

a service of  Schloss Dagstuhl - Leibniz Center for Informatics