Publication | Closed Access
Partial correctness for probabilistic demonic programs
55
Citations
15
References
2001
Year
Partial CorrectnessEngineeringAutomated ReasoningProbabilistic VerificationVerificationFormal MethodsProbabilistic ComputationComputer ScienceProbabilistic ProgrammingSoftware AnalysisFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1