"Proceedings of the 2006 Conference on Specification and Verification of ..."

Details and statistics

DOI: 10.1145/1181195

access: closed

type: Editorship

metadata version: 2022-02-10