TAP Porto, Portugal, & Beyer, D. (2019). Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)TAP Porto, Portugal, und Dirk Beyer. Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : Proceedings. Cham: Springer, 2019.
MLA-Zitierstil (9. Ausg.)TAP Porto, Portugal, und Dirk Beyer. Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : Proceedings. Springer, 2019.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.