Visible to the public Biblio

Filters: Author is P. Madhusudan  [Clear All Filters]
2018-05-25
Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan.  2017.  Efficient Incrementalized Runtime Checking of Linear Measures on Lists. IEEE International Conference on Software Testing, Verification and Validation (ICST). :310–320.