"6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, ..."

David Till (1994)

Details and statistics

DOI: 10.1007/978-1-4471-3240-0

access: closed

type: Editorship

metadata version: 2019-08-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics