Dobos-Kovács, Mihály, Ákos Hajdu, and András Vörös.
" Bitvector Support in the Theta Formal Verification Framework." <em>Anais do II Workshop on Validation and Verification of Future Cyber-physical Systems,
Florianópolis, 2021</em>. SBC, 2021,  
sem paginação.