Dobos-Kovács, Mihály, E 		Vörös, András.
" Evaluation of SMT solvers in abstraction-based software model checking" <em>Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS)</em> [Online], (21 novembro 2022)