Cristiá, M., & Rossi, G. (2022). Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification.
Style de citation Chicago (17e éd.)Cristiá, Maximiliano, et Gianfranco Rossi. Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification. 2022.
Style de citation MLA (9e éd.)Cristiá, Maximiliano, et Gianfranco Rossi. Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification. 2022.
Attention : ces citations peuvent ne pas être correctes à 100%.