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 Methods (FM)
A conference, workshop or journal: the thing that recurs, across all its years.
The symposium of Formal Methods Europe, held every year or two since 1987 and the broadest gathering in the field: specification, refinement, proof, and reports of what happened when these were used on real systems.
Part of Lecture Notes in Computer Science.
4 references
A Fully Verified Container Library
Nadia Polikarpova and others (2015) · FM 2015: Formal Methods · Springer
The 1st Verified Software Competition: Experience Report
Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer
Abstract Object Creation in Dynamic Logic: To Be or Not to Be Created
Wolfgang Ahrendt and others (2009) · FM 2009: Formal Methods · Springer
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
Ioannis T. Kassios (2006) · FM 2006: Formal Methods · Springer