Publication | Closed Access
Logic models for program design, implementation, and evaluation: Workshop toolkit
18
Citations
2
References
2015
Year
Unknown Venue
Software MaintenanceApplied LogicFormal SpecificationEngineeringFormal ModelingAutomated ReasoningProgram AnalysisSoftware TestingLogic ModelsFormal MethodsSoftware AnalysisSoftware EngineeringSystems EngineeringComputer ScienceProgramming MethodologyFormal VerificationSoftware DesignLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1