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

Online verification of commutativity:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis,
Kabra, Aditi ; Geisler, Dietrich ; Sampson, Adrian - p. 10-19 , 2020
Link: https://dl.acm.org/doi/10.1145/3427764.3428322