Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

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

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)ForschungBegutachtung

Originalspracheenglisch
VerlagSpringer Verlag
Band9762
ISBN (Print)978-3-319-41134-7
DOIs
PublikationsstatusVeröffentlicht - 2016

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren