Tests and proofs : 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings / Laura Kovács, Karl Meinke (eds.).
2022
QA76.76.T48
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Tests and proofs : 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings / Laura Kovács, Karl Meinke (eds.).
Meeting Name
ISBN
9783031098277 (electronic bk.)
3031098277 (electronic bk.)
9783031098260
3031098269
3031098277 (electronic bk.)
9783031098260
3031098269
Published
Cham : Springer, [2022]
Copyright
©2022
Language
English
Description
1 online resource : illustrations (some color).
Item Number
10.1007/978-3-031-09827-7 doi
Call Number
QA76.76.T48
Dewey Decimal Classification
005.1
Summary
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.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed July 1, 2022).
Added Author
Added Meeting Name
Series
Lecture notes in computer science ; 13361.
Available in Other Form
Print version: 9783031098260
Linked Resources
Record Appears in