jStar: towards practical verification for java.

Dino Distefano Matthew J. Parkinson

Published in: OOPSLA (2008)

Keyphrases

object oriented
real time
lightweight
databases
byte code
database applications
general purpose
web services
information systems
open source
source code
social networks
data mining
practical application
development environment
face verification
java language
real world