Runtime Verification

Shuvendu Lahiri, Giles Reger

Runtime Verification - Springer Springer 2017

9783319675312

EBOOK