Tests and Proofs  16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings /  [electronic resource] : 
edited by Laura Kovács, Karl Meinke. 
 - 1st ed. 2022. 
 - VIII, 127 p. 28 illus., 10 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  13361  1611-3349 ; .
 - Lecture Notes in Computer Science,  13361 .
<br/><br/> This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022. The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing. 
<br/><br/><label>ISBN: </label>9783031098277 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-09827-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic.<br/>Computer science.<br/>Formal Logic.<br/>Models of Computation.
<br/><br/><label>LC Class. No.: </label>BC1-199 
<br/><br/><label>Dewey Class. No.: </label>160