Login / Signup
Kay Barzen
Publication Activity (10 Years)
Years Active: 2007-2007
Publications (10 Years): 0
</>
Publications
</>
Rainer Oechsle
,
Kay Barzen
Checking automatically the output of concurrent threads.
ITiCSE
(2007)