Resenhas - Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Veja as resenhas sobre este livro