Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (11 paper(s))
2. Formal Asp. Comput. (5 paper(s))
3. Sci. Comput. Program. (4 paper(s))
4. Comput. J. (1 paper(s))
5. Computer Networks (1 paper(s))
6. Formal Methods in System Design (1 paper(s))
7. IEE Proceedings - Software (1 paper(s))
8. Information & Software Technology (1 paper(s))
9. Inf. Process. Lett. (1 paper(s))
10. J. Funct. Program. (1 paper(s))
11. Softw. Test., Verif. Reliab. (1 paper(s))

Conferences

1. Z Users Conference (ZUM) (6 paper(s))
2. World Congress on Formal Methods (FM) (3 paper(s))
3. (3 paper(s))
4. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
5. Formal Methods for Open Object-Based Distributed Systems (2 paper(s))
6. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
7. Workshops on Abstract State Machines (1 paper(s))
8. Ershov Memorial Conference (1 paper(s))
9. IEEE International Conference on Formal Engineering Methods (1 paper(s))
10. Integrated Formal Methods (IFM) (1 paper(s))
11. Mathematics of Program Construction (MPC) (1 paper(s))