[Zurück]

@book{TUW-233353,
    author = {Seidl, Martina and Tillmann, Nikolai},
    title = {Proceedings of the 8th International Conference on Tests and Proofs},
    publisher = {Springer LNCS},
    year = {2014},
    series = {Lecture Notes in Computer Science},
    editor = {Seidl, Martina and Tillmann, Nikolai},
    url = {http://link.springer.com/book/10.1007%2F978-3-319-09099-3},
    isbn = {978-3-319-09098-6},
    doi = {10.1007/978-3-319-09099-3}
}