Alexander Drechsel - Java Modeling Language Extensions for Android Applications

author:Alexander Drechsel
title:Java Modeling Language Extensions for Android Applications
keywords:JML, Android, formal specification, formal verification
topics:Languages
committee:dr. W.I. Mostowski
prof.dr. M. Huisman
graduation date:June 2014


Abstract