@inproceedings{GN05,
  author =	 "Sumit Gulwani and Nebojsa Jojic",
  title =	 "Program Verification as Probabilistic Inference",
  booktitle =	 "The 34th Annual ACM Symposium on Principles of
                  Programming Languages",
  publisher =	 "ACM",
  month =	 jan,
  year =	 "2007",
}