Xu, Qiwen books & textbook
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Lecture Notes in Computer Science)
Bowen, Jonathan P. Li, Qin Xu, Qiwen
Springer /2023-08-10 Paperback / 428 Pages
isbn-10: 3031404351 / isbn-13: 9783031404351
