Login / Signup
Shigeo Nishi
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Java Programs
Distributed Object
Theorem Prover
Database Applications
Top Venues
LADC
</>
Publications
</>
Néstor Cataño
,
Shigeo Nishi
Soundness Proof of EventB2Java.
LADC
(2016)