Publication | Closed Access
A mechanically verified language implementation
107
Citations
3
References
1989
Year
Formal SpecificationEngineeringVerified Language ImplementationProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware VerificationFormal TechniqueComputer ScienceSoftware AnalysisFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1