"Proceedings of the 9th International Workshop on Software Specification ..."

Details and statistics

DOI: 10.5555/857205

access: closed

type: Editorship

metadata version: 2022-05-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics