I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Summary-Based Compositional Analysis for Soft Contract Veri..:

, In: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM),
Vandenbogaerde, Bram ; Stievenart, Quentin ; De Roover, Coen - p. 186-196 , 2022
Link: https://doi.org/10.1109/SCAM55253.2022.00028