Tests and Proofs
Subtitle: 10th International Conference, TAP 2016, Held As Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Publisher: Springer London, Limited
Published: 2016
Language: eng
Number of pages: 199
ISBN-13: 9783319411354
Subjects: Computer software, testing; Computer software, verification; Software engineering