View of Executing Underspecified OCL Operation Contracts with a SAT Solver

Return to Article Details Executing Underspecified OCL Operation Contracts with a SAT Solver Download Download PDF