Publication | Closed Access
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language
78
Citations
10
References
2013
Year
Programming Language TheoryFormal SpecificationEngineeringOperational SemanticsAutomated ReasoningInformation SecurityProgram AnalysisVerificationProbabilistic VerificationFormal MethodsSoftware AnalysisSystems EngineeringComputer ScienceCommand LanguageFormal VerificationLanguage-based Security
| Year | Citations | |
|---|---|---|
Page 1
Page 1