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.
Formal Aspects of Computing: a journal on the mathematics of software construction - specification, refinement, proof and their application. Founded under Springer, now published by the ACM.
12 references
Footprint Logic for Object-Oriented Components (extended paper)
Frank S. de Boer and others (2025) · Formal Aspects of Computing · Association for Computing Machinery
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
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover
Samuel Coward and others (2022) · Formal Aspects of Computing
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
Maximal incompleteness as obfuscation potency
Roberto Giacobazzi and others (2017) · Formal Aspects of Computing · Springer Science+Business Media
An algebraic theory for web service contracts
Cosimo Laneve and others (2015) · Formal Aspects of Computing · Springer Science+Business Media
Proof producing synthesis of arithmetic and cryptographic hardware
Konrad L. Slind and others (2007) · Formal Aspects of Computing · Springer Science+Business Media
Certifying circuits in Type Theory
Solange Coupet-Grimal and others (2004) · Formal Aspects of Computing · Springer Science+Business Media
Limits of formal methods
Ralf Kneuper (1997) · Formal Aspects of Computing
Safety, liveness and fairness in temporal logic
A. Prasad Sistla (1994) · Formal Aspects of Computing · Association for Computing Machinery (ACM)