Biblio
Filters: Author is Edgar Pek [Clear All Filters]
Efficient Incrementalized Runtime Checking of Linear Measures on Lists. IEEE International Conference on Software Testing, Verification and Validation (ICST). :310–320.
.
2017.