{"inproceedings":{"@attributes":{"key":"conf\/cpp\/Hur25","mdate":"2025-01-25"},"author":"Chung-Kil Hur","title":"CRIS: The Power of Imagination in Specification and Verification (Invited Talk).","pages":"2","year":"2025","booktitle":"CPP","ee":"https:\/\/doi.org\/10.1145\/3703595.3710846","crossref":"conf\/cpp\/2025","url":"db\/conf\/cpp\/cpp2025.html#Hur25"}}