Java Program Verification at Nijmegen: Developments and Perspective.

Bart Jacobs Erik Poll

Published in: ISSS (2003)

Keyphrases

open source
lightweight
development environment
source code
database applications
database
viewpoint
object oriented
web applications
paradigm shift
database access
databases
artificial intelligence
social networks
web services