Journals Similar to
Formal Methods in System Design↗Springer Netherlands · Netherlands
20 journals ranked by semantic similarity to scope and research topics
International Journal on Software Tools for Technology Transfer
Springer Verlag · Germany
Journal of Logical and Algebraic Methods in Programming
Elsevier Inc. · United States
Formal Aspects of Computing
Association for Computing Machinery (ACM) · United States
Journal of Automated Reasoning
Springer Netherlands · Netherlands
Foundations and Trends in Programming Languages
Now Publishers Inc · United States
Proceedings of the ACM on Programming Languages
Association for Computing Machinery (ACM) · United States
Constraints
Springer Netherlands · Netherlands
ACM Transactions on Computational Logic
Association for Computing Machinery (ACM) · United States
Proceedings - Symposium on Logic in Computer Science
Institute of Electrical and Electronics Engineers Inc. · United States
ACTA CYBERNETICA
UNIV SZEGED, FAC SCIENCE
Annals of Mathematics and Artificial Intelligence
Springer Netherlands · Netherlands
Acta Informatica
Springer New York · Germany
Discrete Event Dynamic Systems: Theory and Applications
Springer Netherlands · Netherlands
Information and Computation
Elsevier Inc. · United States
Foundations and Trends in Theoretical Computer Science
Now Publishers Inc · United States
Journal of Functional Programming
Cambridge University Press · United Kingdom
Theory of Computing Systems
Springer New York · United States
ACM Transactions on Programming Languages and Systems
Association for Computing Machinery (ACM) · United States
Theoretical Computer Science
Elsevier B.V. · Netherlands
Jisuanji Xuebao/Chinese Journal of Computers
Science Press · China