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
scientific article