Login / Signup
Jyotindra Vasudeo
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Gregory Kulczycki
,
Jyotindra Vasudeo
Simplifying reasoning about objects with Tako.
SAVCBS@FSE
(2006)