Login / Signup
James B. Saxe
Publication Activity (10 Years)
Years Active: 1979-2013
Publications (10 Years): 0
Top Topics
Database Applications
Consistency Checking
Cross Platform
Top Venues
ACM SIGPLAN Notices
</>
Publications
</>