Publication | Open Access
Reductivity arguments and program construction
49
Citations
0
References
1996
Year
EngineeringAutomated ReasoningProgram AnalysisAbstract InterpretationFormal MethodsSoftware AnalysisComputer ScienceReductivity ArgumentsProgram DerivationFormal VerificationFunctional Programming
No additional data available for this publication yet. Check back later!