@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Kuldeep S. Meel's publication pages at
@COMMENT http://www.comp.nus.edu.sg/~meel/publications/
@inproceedings{KarayelWKMT25ITP,
	title={Verification of the CVM Algorithm with a Functional Probabilistic Invariant},
	author={Karayel, Emin and Watt, Seng Joe and Khu, Derek and Meel, Kuldeep S. and Tan, Yong Kiam},
	booktitle={Interactive Theorem Proving (ITP)},
	pages={34:1--34:20},
	year={2025},
	bib2html_rescat={Formal Methods},
	bib2html_pubtype={Refereed Conference},
	bib2html_dl_pdf={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2025.34},
}