iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/sas/CoppoDG96.xml
Mario Coppo Ferruccio Damiani Paola Giannini Refinement Types for Program Analysis. 143-158 1996 conf/sas/1996 SAS db/conf/sas/sas96.html#CoppoDG96 https://doi.org/10.1007/3-540-61739-6_39