Publication | Closed Access
A relational approach to the design of deterministic programs
44
Citations
2
References
1983
Year
Programming Language TheoryDeterministic SystemDeterministic ProgramsEngineeringProgram AnalysisAutomated ReasoningFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationNon-deterministic Game
| Year | Citations | |
|---|---|---|
Page 1
Page 1