Type: Direct Link

Proceedings Fifth Transformation Tool Contest

Proceedings 13th International Workshop on Verification of Infinite-State Systems

Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications