@book{774050594ff64093b5870b4509bade6c,
title = "Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings",
editor = "Aichernig, {Bernhard K.} and Furia, {Carlo A.}",
year = "2016",
doi = "10.1007/978-3-319-41135-4",
language = "English",
isbn = "978-3-319-41134-7",
volume = "9762",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
address = "Germany",
note = "10th International Conference on Tests & Proofs : TAP 2016 ; Conference date: 05-07-2016 Through 07-07-2016",
}