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 et al. (2014) · International Conference on Software Engineering and Formal Methods
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta et al. (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods