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

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

Research output: Book/ReportAnthology

Original languageEnglish
PublisherSpringer Verlag
Volume9762
ISBN (Print)978-3-319-41134-7
DOIs
Publication statusPublished - 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Fields of Expertise

  • Information, Communication & Computing

Cite this