Book Details
Format
Kindle
Pages
991
Language
English
Published
Dec 2, 2021
Publisher
Springer
Description
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.
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.
Genres
Science & Technology