Publication | Closed Access
Logic Models for Program Design, Implementation, and Evaluation: Workshop Toolkit. REL 2015-057.
48
Citations
0
References
2015
Year
Unknown Venue
EngineeringFormal ModelingProgram AnalysisAutomated ReasoningLogic ModelsWorkshop ToolkitFormal MethodsSoftware AnalysisSoftware EngineeringSystems EngineeringProgram DesignComputer ScienceFormal VerificationLogic Programming
No additional data available for this publication yet. Check back later!