Vol-1185⫷ Vol-1186 ⫸Vol-1187
urn:nbn:de:0074-1186-0


Vol-1186/paper-19⫷Vol-1186/paper-20⫸Vol-1186/paper-21
Dominique DuvalJean-Guillaume DumasJean-Claude ReynaudBurak Ekici

Certified Proofs in Programs Involving Exceptions