Integrated Formal Methods [electronic resource] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings / edited by Maurice H. ter Beek, Rosemary Monahan.

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Computer Science ; 13274Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Edition: 1st ed. 2022Description: XV, 373 p. 120 illus., 48 illus. in color. online resourceISBN:

9783031077272

Subject(s):

DDC classification:

005.1 23

Online resources:

Click Here

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Date due	Barcode	Item holds
E-Books	National Library of India Online Resource	005.1 (Browse shelf(Opens below))		Available		EBK000035210ENG

Total holds: 0

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.

There are no comments on this title.

to post a comment.