DMCA

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial

Cached

Download Links

by Philip Daian , Patrick Meredith , Traian Florin Şerbănuţă , Akihito Iwai , Grigore Rosu