Normal view
MARC view
- Przigoda, Judith
Przigoda, Judith (Nombre personal)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, 2018