Concise Guide to Formal Methods

Gerard O'Regan

Concise Guide to Formal Methods - Springer Springer 2017

9783319640211

EBOOK