This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
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.
5 references
Formal Methods in Industry
Maurice H. ter Beek and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
Does Every Computer Scientist Need to Know Formal Methods?
Manfred Broy and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
Symbolic execution formally explained
Frank S. de Boer and others (2021) · Formal Aspects of Computing
Fifty years of Hoare's logic
Krzysztof R. Apt and others (2019) · Formal Aspects of Computing
Limits of formal methods
Ralf Kneuper (1997) · Formal Aspects of Computing