Concepedia
1999 · 11 citations · 0 references
Constraint SolvingEngineeringConstraint SatisfactionProgram AnalysisAutomated ReasoningFormal MethodsJava Constraint KitComputer ScienceFormal VerificationConstraint Programming