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.
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
A conference, workshop or journal: the thing that recurs, across all its years.
Leveraging Applications of Formal Methods (ISoLA): a symposium on putting formal methods to work, with themed tracks mixing academics and industrial adopters.
Part of Lecture Notes in Computer Science.
1 reference
On Deductive Verification of an Industrial Concurrent Software Component with VerCors
Raúl E. Monti and others (2022) · Leveraging Applications of Formal Methods, Verification and Validation · Springer