|
by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022
Subjects:
“...Computer Science Logic and Foundations of Programming...”Published 2022
Springer International Publishing