Dobos-Kovács, M., 		Hajdu, Ã., & 		Vörös, A.
2021 nov 22.  Bitvector Support in the Theta Formal Verification Framework. Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :