Simon Guilloud, Mario Bucev, Dragana Milovančević, and Viktor Kunčak. Formula normalizations in verification. In
Computer-Aided Verification (CAV)
, 2023.
[
bib
]
Back