Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
A conference, workshop or journal: the thing that recurs, across all its years.
A symposium on putting formal methods to work, organised around themed tracks rather than a general call. Sessions pair short talks with long panel discussions, deliberately mixing academics with people who have to adopt these tools in industry, and the proceedings run to several volumes a year.
Part of Lecture Notes in Computer Science.
0 references
Nothing published under this yet.