Dobos-Kovács, Mihály, 		Hajdu, Ákos, E 		Vörös, András.
" Bitvector Support in the Theta Formal Verification Framework" <em>Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS)</em> [Online], (22 novembro 2021)