Integrated Formal Methods  17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings /  [electronic resource] : 
edited by Maurice H. ter Beek, Rosemary Monahan. 
 - 1st ed. 2022. 
 - XV, 373 p. 120 illus., 48 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  13274  1611-3349 ; .
 - Lecture Notes in Computer Science,  13274 .
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031077272 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-07727-2  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer engineering.<br/>Computer networks .<br/>Computer science.<br/>Artificial intelligence.<br/>Software Engineering.<br/>Computer Engineering and Networks.<br/>Computer Science Logic and Foundations of Programming.<br/>Artificial Intelligence.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1