[Zurück]

@inproceedings{TUW-223541,
    author = {Artho, Cyrille and Seidl, Martina and Biere, Armin},
    title = {Model-Based Testing for Verification Back-Ends},
    booktitle = {Proceedings of the 7th International Conference on Tests and Proofs (TAP)},
    year = {2013},
    pages = {39--55},
    url = {http://dx.doi.org/10.1007/978-3-642-38916-0_3},
    isbn = {978-3-642-38915-3},
    doi = {10.1007/978-3-642-38916-0},
    note = {Vortrag: 7th International Conference on Tests {\&} Proofs, Budapest; 2013-06-18 -- 2013-06-19}
}