Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.