Runtime Verification

Bernd Finkbeiner, Leonardo Mariani

Runtime Verification - Springer Springer 2019

9783030320799

EBOOK