Login / Signup
Radhia Cousot
Publication Activity (10 Years)
Years Active: 1977-2015
Publications (10 Years): 0
Top Topics
Abstract Interpretation
Satisfiability Modulo Theories
Web Applications
Mashup
Top Venues
POPL
CSL-LICS
VMCAI
SPLASH
</>
Publications
</>