Theory and Practice of Formal Methods
Subtitle: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Publisher: Springer International Publishing AG
Published: 2016
Language: eng
ISBN-13: 9783319307336
Subjects: Computer science