APA (7th ed.) Citation

Bastos, P., & Ramos, P. (2016). Finite satisfiability verification in UML class diagrams: A comparative study.

Chicago Style (17th ed.) Citation

Bastos, P., and P. Ramos. Finite Satisfiability Verification in UML Class Diagrams: A Comparative Study. 2016.

MLA (8th ed.) Citation

Bastos, P., and P. Ramos. Finite Satisfiability Verification in UML Class Diagrams: A Comparative Study. 2016.

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