What is this? 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.

Integrated Formal Methods (iFM)

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

A conference on combining formal methods rather than choosing between them — pairing state-based specification with process algebra, proof with model checking, and so on. Each edition has its own site.