This page lists a number of journals related to formal methods.
© copyright 2004 | Formal Methods Europe