Formal Aspects of Computing

A conference, workshop or journal: the thing that recurs, across all its years.

A journal on the mathematics of software construction: specification languages, refinement, proof and their application to real systems. Founded under Springer and now published by the ACM, it is one of the long-standing homes of the formal-methods literature.

https://dl.acm.org/journal/fac

3 references