publication venue for
- Proceedings 2014 International Workshop on Advanced Intrusion Detection and Prevention. 165. 2014
- Semantic Reasoning and Verification for Ambient Assisted Living. 156:4-4. 2014
- Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving 2017
- Proceedings of the Third Workshop on Formal Integrated Development Environment 2017
- Proceedings 2014 International Workshop on Advanced Intrusion Detection and Prevention 2014