This page lists a number of journals related to formal methods.

• ACM Transactions on Computational Logic (TOCL)
• Formal Aspects of Computing
• Formal Methods in System Design
• Journal on Relational Methods in Computer Science

© copyright 2004 | Formal Methods Europe