Login / Signup
Ian Unruh
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Complex Systems
High Level
Genetic Algorithm
Top Venues
LISA
</>
Publications
</>
Ian Unruh
,
Alexandru G. Bardas
,
Rui Zhuang
,
Xinming Ou
,
Scott A. DeLoach
Compiling Abstract Specifications into Concrete Systems - Bringing Order to the Cloud.
LISA
(2014)