Login / Signup
Cheryl Barbasch
Publication Activity (10 Years)
Years Active: 1993-1994
Publications (10 Years): 0
</>
Publications
</>
Cheryl Barbasch
,
Dan Egnor
Always One More Bug: Applying AdaWise to Improve Ada Code.
TRI-Ada
(1994)
Cheryl Barbasch
Experience using ASIS for specialized verification tools.
WADAS
(1993)