Mihály Dobos-Kovács and András Vörös. 2022.
 Evaluation of SMT solvers in abstraction-based software model checking. In <em>Anais do III Workshop on Validation and Verification of Future Cyber-physical Systems</em>, novembro 21, 2022, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 109–116.