Formal Methods – The Next 30 Years

MLA

ter Beek, Annabelle McIver, and José N Oliveira. Formal Methods – The Next 30 Years. Springer International Publishing, 2019.

APA

ter Beek, t. Beek, McIver, A., & Oliveira, J. N. (2019). Formal Methods – The Next 30 Years. Springer International Publishing.

Chicago

ter Beek, Annabelle McIver, and José N Oliveira. Formal Methods – The Next 30 Years. : Springer International Publishing, 2019.