Login / Signup
Mike Kabbani
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Genetic Algorithm
General Purpose
Development Environments
Top Venues
ICOOOLPS@ECOOP
</>
Publications
</>
Daniel Welch
,
Blair Durkee
,
Mike Kabbani
,
Murali Sitaraman
Formalization IDEs Integrated with a Verifying Compiler.
ICOOOLPS@ECOOP
(2017)