Theories of Programming and Formal Methods
Subtitle: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9783031404351
Subjects: Mathematics