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/ReportAnthologypeer-review

Original languageEnglish
PublisherSpringer Verlag
ISBN (Electronic)978-3-319-41135-4
ISBN (Print)978-3-319-41134-7
Publication statusPublished - 2016
Event10th International Conference on Tests & Proofs: TAP 2016 - Technische Universität Wien, TU Wien, Vienna, Austria
Duration: 5 Jul 20167 Jul 2016

Publication series

NameLecture Notes in Computer Science

Fields of Expertise

  • Information, Communication & Computing

Cite this