GitHub repository: kalaranjaniv/Verification-using-JML
Primary language: Java
Created: 2015-02-25T23:16:58Z
Description: A simple android application is verified using Java Modelling Language