"Special issue on formal active and passive testing of distributed and ..."

Ana R. Cavalli, Teruo Higashino, Manuel Núñez (2015)

Details and statistics

DOI: 10.1007/S12243-015-0459-6

access: open

type: Journal Article

metadata version: 2020-05-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics