Integrated Formal Methods - E-book

eBook

Integrated Formal Methods - ENG

17th International Conference, Ifm 2022, Lugano, Switzerland, June 7â€“10, 2022, Proceedings

eBook

$1,700.00

Disponible

Información adicional
Sinopsis

ISBN:	9783031077272
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ingeniería y desarrollo de software general
Año de publicación:	2022-06-01

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Â Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

eBooks