Soundness Proof of EventB2Java.

Néstor Cataño Shigeo Nishi

Published in: LADC (2016)

Keyphrases

programming language
source code
lightweight
java programs
theorem prover
object oriented
open source
database applications
data sets
image sequences
distributed systems
byte code
distributed object
software systems
logic programs
data structure
database systems
high level
web services