Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (12 paper(s))
2. Formal Asp. Comput. (7 paper(s))
3. Softw. Test., Verif. Reliab. (3 paper(s))
4. Computer Networks (2 paper(s))
5. Formal Methods in System Design (2 paper(s))
6. IEE Proceedings - Software (2 paper(s))
7. J. Symb. Log. (2 paper(s))
8. Sci. Comput. Program. (2 paper(s))
9. Comput. J. (1 paper(s))
10. STTT (1 paper(s))
11. CoRR (1 paper(s))
12. ACM Trans. Comput. Log. (1 paper(s))
13. IEEE Trans. Software Eng. (1 paper(s))
14. Acta Inf. (1 paper(s))
15. ACM Comput. Surv. (1 paper(s))
16. Information & Software Technology (1 paper(s))
17. J. Funct. Program. (1 paper(s))
18. J. Log. Comput. (1 paper(s))
19. Software and System Modeling (1 paper(s))

Conferences

1. Z Users Conference (ZUM) (9 paper(s))
2. (8 paper(s))
3. IEEE International Conference on Formal Engineering Methods (5 paper(s))
4. World Congress on Formal Methods (FM) (4 paper(s))
5. Formal Methods for Open Object-Based Distributed Systems (4 paper(s))
6. Integrated Formal Methods (IFM) (4 paper(s))
7. Algebraic Methodology and Software Technology (AMAST) (3 paper(s))
8. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (2 paper(s))
9. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
10. Integrated Network Management (2 paper(s))
11. Mathematics of Program Construction (MPC) (1 paper(s))
12. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
13. Workshops on Abstract State Machines (1 paper(s))
14. Policies for Distributed Systems and Networks (1 paper(s))
15. Enterprise Distributed Object Computing Conference (1 paper(s))
16. Protocol Specification, Testing and Verification (1 paper(s))
17. Erlang Workshop (1 paper(s))
18. ACM Symposium on Applied Computing (SAC) (1 paper(s))
19. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))
20. Irish Workshop in Formal Methods (IWFM) (1 paper(s))
21. Multimedia and Networking (MMNET) (1 paper(s))