Logic of Software. a Tasting Menu of Formal Methods
Subtitle: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Publisher: Springer International Publishing AG; Springer
Published: 2022
Language: eng
Number of pages: 533
ISBN-13: 9783031081651