Inproceedings,

First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402.

, and .
RV, volume 10012 of Lecture Notes in Computer Science, page 17-20. Springer, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews