FormaliSE

FormaliSE is a conference series at the intersection of formal methods and software engineering, promoting ideas, experiences, techniques, and results that connect formal methods research with practical software development.