Cordeiro, L.
2021 nov 22.  Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study. Anais Estendidos do Latin-American Symposium on Dependable Computing (LADC). [Online] :