Journals and Conferences that author prefers

Journals

1. Softw. Test., Verif. Reliab. (2 paper(s))
2. Ann. Pure Appl. Logic (1 paper(s))
3. Autom. Softw. Eng. (1 paper(s))
4. Comput. J. (1 paper(s))
5. Electr. Notes Theor. Comput. Sci. (1 paper(s))
6. IEE Proceedings - Software (1 paper(s))
7. J. Symb. Log. (1 paper(s))
8. J. Log. Comput. (1 paper(s))
9. SIGPLAN Notices (1 paper(s))
10. TAPOS (1 paper(s))
11. L'OBJET (1 paper(s))

Conferences

1. Z Users Conference (ZUM) (6 paper(s))
2. Integrated Formal Methods (IFM) (3 paper(s))
3. (3 paper(s))
4. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
6. European Conference on Object-Oriented Programming (ECOOP) (2 paper(s))
7. European Conference on Object-Oriented Programming (ECOOP): Workshops (2 paper(s))
8. SAFECOMP (2 paper(s))
9. Fundamental Approaches to Software Engineering (FASE) (2 paper(s))
10. World Congress on Formal Methods (FM) (2 paper(s))
11. The Unified Modeling Language (UML) (2 paper(s))
12. International Conference on Engineering of Complex Computer Systems (2 paper(s))
13. Algorithmic Languages and Calculi (1 paper(s))
14. Imperial College Workshops (1 paper(s))
15. Irish Workshop in Formal Methods (IWFM) (1 paper(s))
16. Logical Foundations of Computer Science (LFCS) (1 paper(s))
17. Rigorous Object-Oriented Methods (1 paper(s))
18. Portuguese Conference on Artificial Intelligence (EPIA) (1 paper(s))
19. Software Engineering Research and Practice (SERP) (1 paper(s))
20. TAPSOFT (1 paper(s))
21. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
22. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
23. Working Conference on Reverse Engineering (WCRE) (1 paper(s))
24. IADIS Conferences (1 paper(s))
25. (1 paper(s))
26. IEEE International Conference on Formal Engineering Methods (1 paper(s))
27. (1 paper(s))