RV-Droid: Runtime Verification and Enforcement for Android Applications Yli`es Falcone, Sebastian Currea, Mohamad Jaber Laboratoire d’Informatique de Grenoble - VASCO Team University of Grenoble, Universit´ - Jaber - Document - PDFSEARCH.IO

First Page	Meta Content
	RV-Droid: Runtime Verification and Enforcement for Android Applications Yli`es Falcone, Sebastian Currea, Mohamad Jaber Laboratoire d’Informatique de Grenoble - VASCO Team University of Grenoble, Universit´ Add to Reading List Document Date: 2012-10-11 06:15:04 Open Document File Size: 1,41 MB Share Result on Facebook

RV-Droid: Runtime Verification and Enforcement for Android Applications Yli`es Falcone, Sebastian Currea, Mohamad Jaber Laboratoire d’Informatique de Grenoble - VASCO Team University of Grenoble, Universit´Add to Reading List