Tests and Proofs : 10th International Conference, TAP 2016, Held as 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 Author: | |
|---|---|
| Other Authors: | , , , |
| Format: | Book |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2016
|
| Edition: | 1st ed. 2016 |
| Series: | Computer Science (Springer-11645)
Computer Science (SpringerNature-11645) LNCS sublibrary Programming and software engineering ; 9762. LNCS sublibrary Programming and software engineering 9762 |
| Subjects: |