Login / Signup
Kelsey Gaboriau
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Application Development
Formal Specification
Real World
Code Generator
Top Venues
ICSME
</>
Publications
</>
Victor Guana
,
Kelsey Gaboriau
,
Eleni Stroulia
ChainTracker: Towards a Comprehensive Tool for Building Code-Generation Environments.
ICSME
(2014)