Publication | Closed Access
CLPS–B – A constraint solver to animate a B specification
35
Citations
19
References
2003
Year
Constraint SolvingEngineeringConstraint SatisfactionGeometric Constraint SolvingAutomated ReasoningAutomationFormal MethodsB SpecificationComputer ScienceRoboticsConstraint Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1