{"inproceedings":{"@attributes":{"key":"conf\/cpp\/SchaferSS16","mdate":"2025-01-19"},"author":["Steven Sch\u00e4fer","Sigurd Schneider","Gert Smolka"],"title":"Axiomatic semantics for compiler verification.","pages":"188-196","year":"2016","booktitle":"CPP","ee":["https:\/\/doi.org\/10.1145\/2854065.2854083","https:\/\/www.wikidata.org\/entity\/Q130843755"],"crossref":"conf\/cpp\/2016","url":"db\/conf\/cpp\/cpp2016.html#SchaferSS16"}}