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

Dies zitieren

Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. / Aichernig, Bernhard K. (Herausgeber); Furia, Carlo A. (Herausgeber).

Springer Verlag, 2016. (Lecture Notes in Computer Science).

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)ForschungBegutachtung

@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",

}

TY - BOOK

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

A2 - Aichernig, Bernhard K.

A2 - Furia, Carlo A.

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-41135-4

DO - 10.1007/978-3-319-41135-4

M3 - Anthology

SN - 978-3-319-41134-7

VL - 9762

T3 - Lecture Notes in Computer Science

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

PB - Springer Verlag

ER -