Login / Signup
Emyr Rees
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Explicitly Represented
Restrictive Assumptions
Artificial Intelligence
Top Venues
TAP@STAF
</>
Publications
</>
Johannes Kanig
,
Roderick Chapman
,
Cyrille Comar
,
Jérôme Guitton
,
Yannick Moy
,
Emyr Rees
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification.
TAP@STAF
(2014)