Sign in
Elliot Barlas
Publication Activity (10 Years)
Years Active: 2007-2007
Publications (10 Years): 0
</>
Publications
</>
Elliot Barlas
,
Tevfik Bultan
Netstub: a framework for verification of distributed java applications.
ASE
(2007)