Breytenbach, J. A., & Fischer, B. (2018). Design and evaluation of a formula cache for SMT-based bounded model checking tools. Stellenbosch : Stellenbosch University.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Breytenbach, Jean Anré, and Bernd Fischer. Design and Evaluation of a Formula Cache for SMT-based Bounded Model Checking Tools. Stellenbosch : Stellenbosch University, 2018.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Breytenbach, Jean Anré, and Bernd Fischer. Design and Evaluation of a Formula Cache for SMT-based Bounded Model Checking Tools. Stellenbosch : Stellenbosch University, 2018.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.