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.
SEFM: Software Engineering and Formal Methods
A conference, workshop or journal: the thing that recurs, across all its years.
A conference on where software engineering and formal methods meet: applying rigorous techniques at the scale and under the constraints of actual software development.
Part of Lecture Notes in Computer Science.
3 references
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta and others (2014) · International Conference on Software Engineering and Formal Methods · Springer
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta and others (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE