Probabilistic guarded commands mechanized in HOL
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
Probabilistic Guarded Commands Mechanized in HOL
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |