Publication | Closed Access
Veritas+: A specification language based on type theory
11
Citations
4
References
1990
Year
EngineeringProgram AnalysisAutomated ReasoningType TheoryDependently Typed ProgrammingFormal MethodsSoftware AnalysisType SystemFormal VerificationSoftware Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1