Integrated Formal Methods

Nadia Polikarpova, Steve Schneider

Integrated Formal Methods - Springer Springer 2017

9783319668451

EBOOK