Journals Similar to
Formal Aspects of Computing↗Association for Computing Machinery (ACM) · United States
20 journals ranked by semantic similarity to scope and research topics
International Journal on Software Tools for Technology Transfer
Springer Verlag · Germany
Foundations and Trends in Programming Languages
Now Publishers Inc · United States
Formal Methods in System Design
Springer Netherlands · Netherlands
Journal of Logical and Algebraic Methods in Programming
Elsevier Inc. · United States
Software and Systems Modeling
Springer Verlag · Germany
Journal of Object Technology
Journal of Object Technology · Switzerland
ACM Transactions on Programming Languages and Systems
Association for Computing Machinery (ACM) · United States
Journal of Functional Programming
Cambridge University Press · United Kingdom
Proceedings of the ACM on Programming Languages
Association for Computing Machinery (ACM) · United States
Science of Computer Programming
Elsevier B.V. · Netherlands
Proceedings - International Conference of the Chilean Computer Science Society, SCCC
IEEE Computer Society · United States
Proceedings - Symposium on Logic in Computer Science
Institute of Electrical and Electronics Engineers Inc. · United States
ACM Transactions on Computational Logic
Association for Computing Machinery (ACM) · United States
Journal of Computer Languages
Elsevier Ltd · United Kingdom
Journal of Automated Reasoning
Springer Netherlands · Netherlands
Queue
Association for Computing Machinery (ACM) · United States
Труды Института системного программирования РАН
Russian Academy of Sciences, Ivannikov Institute for System Programming · Russian Federation
Proceedings - International Conference on Software Engineering
IEEE Computer Society · United States
Software
MDPI AG · Switzerland
IEEE Open Journal of Systems Engineering
IEEE · United States