Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

The proceedings from the 19th International Conference on Software Engineering and Formal Methods delve into the latest advancements and challenges in the field. Taking place virtually, this collection showcases a range of research contributions that highlight innovative methodologies and tools designed to improve software reliability and correctness.

Experts in the domain, Radu Calinescu and Corina S. Pasareanu, curate a selection of papers that reflect cutting-edge developments, fostering discussions that pave the way for future explorations. This compilation serves as a vital resource for researchers and practitioners eager to enhance their understanding of software engineering practices and formal methods.