书籍详情
格式
Kindle
页数
991
语言
英语
已发布
Dec 2, 2021
出版商
Springer
描述
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.
类型
科学与技术