An Algebraic Framework for Runtime Verification

Author
Year of Publication

2018
Journal

CoRR
Volume

abs/1802.03775
URL

http://arxiv.org/abs/1802.03775
Download citation