Rohit Parikh;Anne Mahoney
-;-
Reasoning about probabilistic sequential programs
Theoretical Computer Science
Reasoning about states of probabilistic sequential programs
CSL'06 Proceedings of the 20th international conference on Computer Science Logic