Formal Methods – The Next 30 Years

Thumbnail Image
Date
2019
Authors
José Nuno Oliveira
McIver,A
ter Beek,MH
Journal Title
Journal ISSN
Volume Title
Publisher