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