Publication | Closed Access
Domain-specific scenarios for refinement-based methods
18
Citations
6
References
2020
Year
Refinement TechniqueEngineeringCode RefactoringAutomated ReasoningVerificationFormal MethodsSoftware EngineeringModel RefinementComputer ScienceDomain-specific ScenariosSoftware AnalysisSoftware Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1