Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. Autom. Softw. Eng. (2 paper(s))
3. L'OBJET (1 paper(s))
4. Commun. ACM (1 paper(s))
5. Information & Software Technology (1 paper(s))
6. Sci. Comput. Program. (1 paper(s))
7. Software Process: Improvement and Practice (1 paper(s))
8. Formal Methods in System Design (1 paper(s))

Conferences

1. Automated Software Engineering (ASE) (6 paper(s))
2. (5 paper(s))
3. Conference on Advanced Information Systems Engineering (CAiSE) (3 paper(s))
4. World Congress on Formal Methods (FM) (2 paper(s))
5. International Conference on Software Engineering (ICSE) (2 paper(s))
6. (2 paper(s))
7. INFORSID (1 paper(s))
8. Publications Resulting from Dagstuhl Seminars (1 paper(s))
9. Design, Specification, and Verification of Interactive Systems (DSV-IS) (1 paper(s))
10. Software Engineering and Middleware / (1 paper(s))
11. EUROMICRO (1 paper(s))
12. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
13. IEEE International Conference on Formal Engineering Methods (1 paper(s))
14. Z Users Conference (ZUM) (1 paper(s))
15. (1 paper(s))