Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (1 paper(s))
2. Formal Methods in System Design (1 paper(s))

Conferences

1. Computer Aided Verification (CAV) (7 paper(s))
2. International Conference on Automated Deduction (CADE) (4 paper(s))
3. International Conference on Theorem Proving in Higher Order Logics (2 paper(s))
4. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
6. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
7. International Conference on Typed Lambda Calculus and Applications (TLCA) (1 paper(s))
8. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
9. Winter Simulation Conference (WSC) (1 paper(s))
10. Formal Hardware Verification (1 paper(s))
11. (1 paper(s))
12. World Congress on Formal Methods (FM) (1 paper(s))
13. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
14. International Conference on Software Engineering (ICSE) (1 paper(s))
15. KORSO (1 paper(s))
16. Logic in Computer Science (LICS) (1 paper(s))
17. Rewriting Techniques and Applications (RTA) (1 paper(s))
18. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))