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

Autor: Daian, Philip, Falcone, Yliès, Meredith, Patrick, Şerbănuţă, Traian Florin, Shiriashi, Shin'ichi, Iwai, Akihito, Rosu, Grigore

Publikováno v: Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings; 2015, p342-357, 16p