Login / Signup
Dinoop Hari
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Database Applications
Design Decisions
Underlying Assumptions
Open Source
Top Venues
IC3
</>
Publications
</>
Swaminathan Jayaraman
,
Dinoop Hari
,
Bharat Jayaraman
Consistency of Java run-time behavior with design-time specifications.
IC3
(2015)