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

Session details: Reasoning:

Rybalchenko, Andrey
ACM SIGPLAN Notices.  49 (2014)  1 - p. , 2014
Link: https://dl.acm.org/doi/10.1145/3262957