Proceedings of the 8th International Conference on Tests and Proofs

Research output: Book › Anthology

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

@book{76a909c1222e4a93a15daf826e84e5a4,

title = "Proceedings of the 8th International Conference on Tests and Proofs",

editor = "Martina Seidl and Nikolai Tillmann",

year = "2014",

doi = "10.1007/978-3-319-09099-3",

language = "Deutsch ({\"O}sterreich)",

isbn = "978-3-319-09098-6",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

}

TY - BOOK

T1 - Proceedings of the 8th International Conference on Tests and Proofs

A2 - Seidl, Martina

A2 - Tillmann, Nikolai

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-09099-3

DO - 10.1007/978-3-319-09099-3

M3 - Sammelwerk

SN - 978-3-319-09098-6

T3 - Lecture Notes in Computer Science (LNCS)

BT - Proceedings of the 8th International Conference on Tests and Proofs

PB - Springer

ER -