Reference

2014
Expectation Invariants for Probabilistic Program Loops as Fixed Points
SAS 2014: International Static Analysis Symposium

Abstract

BibTeX

@string{SAS = "International Static Analysis Symposium (SAS)"}
@inproceedings{expectation-sas14,
  author = {Aleksandar ChakarovSriram Sankaranarayanan},
  title = {Expectation Invariants for Probabilistic Program Loops as Fixed Points},
  booktitle = SAS,
  year = {2014},
}