Publication | Open Access
Formalizing the minimalist program
94
Citations
0
References
1998
Year
Formal SpecificationEngineeringDeclarative ProgrammingAutomated ReasoningProgram AnalysisAbstract InterpretationFormal MethodsSoftware AnalysisMinimalist ProgramComputer ScienceFormal Verification
No additional data available for this publication yet. Check back later!