Login / Signup
Shmuel Katz
Publication Activity (10 Years)
Years Active: 1973-2016
Publications (10 Years): 1
Top Topics
Provably Correct
Fixpoint
Minimal Models
Protocol Specification
Top Venues
AOSD
SAC
GIBSE@AOSD
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>