"Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, ..."

Bernhard K. Aichernig, Carlo A. Furia (2016)

Details and statistics

DOI: 10.1007/978-3-319-41135-4

access: closed

type: Editorship

metadata version: 2020-06-23

a service of  Schloss Dagstuhl - Leibniz Center for Informatics