Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selec...
Corporate Authors: | , |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Switzerland :
Springer,
2016
|
Series: | LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 9762 |
Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
Call Number: |
INTERNET RESOURCE |
---|