A Bytecode Logic for JML and Types.

Lennart Beringer Martin Hofmann

Published in: APLAS (2006)

Keyphrases

databases
genetic algorithm
smart card
open source
modal logic
data sets
neural network
website
data model
query optimization
multi valued
logical framework