Publication | Closed Access
An assertion language for debugging of constraint logic programs
21
Citations
0
References
1997
Year
Program CheckingEngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerificationSoftware VerificationFormal MethodsComputer ScienceAssertion LanguageSoftware AnalysisLogic ProgrammingFormal Verification
No additional data available for this publication yet. Check back later!