Login / Signup
A Bytecode Logic for JML and Types.
Lennart Beringer
Martin Hofmann
Published in:
Arch. Formal Proofs (2008)
Keyphrases
</>
smart card
bayesian networks
website
data structure
source code
modal logic
multi valued
database
neural network
information systems
case study
virtual machine
automated reasoning