Merkliste 
 1 Ergebnisse 
 
1

Book review:

Barwell, Adam D. ; Ferreira, Francisco ; Yoshida, Nobuko
Journal of Logical and Algebraic Methods in Programming.  125 (2022)  - p. 100744 , 2022