Zhou, Y., Bosamiya, J., Takashima, Y., Li, J. G., Heule, M., & Parno, B. (2023). Mariposa: Measuring SMT Instability in Automated Program Verification. In A. Nadel & K. Y. Rozier (Eds.), Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 (pp. 178–188). TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_26
CC BY 4.0
