Formal Translation of Bytecode into BoogiePL.

Hermann Lehner Peter Müller

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

smart card
source code
information retrieval
machine translation
query translation
artificial intelligence
data sets
case study
access control
formal model
formal specification