Login / Signup
Ahsan Fayyaz
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
David Aspinall
,
Daniel Winterstein
,
Christoph Lüth
,
Ahsan Fayyaz
Proof general in Eclipse: system and architecture overview.
ETX
(2006)