APA Citation

(2018). Automated validation & verification of UML/OCL models using satisfiability solvers.

Chicago Style Citation

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. 2018.

MLA Citation

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. 2018.

Warning: These citations may not always be 100% accurate.