Book

Formal Methods – The Next 30 Years

by Annabelle McIver, José N. Oliveira, Maurice H. ter Beek