Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. Formal Asp. Comput. (1 paper(s))
3. Formal Methods in System Design (1 paper(s))
4. J. Log. Comput. (1 paper(s))
5. STTT (1 paper(s))
6. IEEE Trans. Software Eng. (1 paper(s))
7. CoRR (1 paper(s))

Conferences

1. (6 paper(s))
2. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (4 paper(s))
3. Computer Aided Verification (CAV) (3 paper(s))
4. International Conference on Software Engineering (ICSE) (2 paper(s))
5. Integrated Formal Methods (IFM) (2 paper(s))
6. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
7. World Congress on Formal Methods (FM) (1 paper(s))
8. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
9. International Conference on Formal Methods and Models for Co-Design (1 paper(s))
10. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
11. Software Engineering and Knowledge Engineering (SEKE) (1 paper(s))
12. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
13. (1 paper(s))