Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday: 9660 (Lecture Notes in Computer Science)
by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
ISBN 13: 9783319307336
Format: Paperback (440 pages) Publisher: Springer Published: 13 Apr 2016
Save for later