Type: Direct Link

Proceedings First Workshop on Horn Clauses for Verification and Synthesis

Proceedings First Workshop on Logics and Model-checking for Self-* Systems

Proceedings Eleventh Workshop on User Interfaces for Theorem Provers

Proceedings 7th Interaction and Concurrency Experience

Proceedings 2014 International Workshop on Advanced Intrusion Detection and Prevention