Dobos-Kovács, M., & 		Vörös, A.
2022 nov 21.  Evaluation of SMT solvers in abstraction-based software model checking. Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :