Login / Signup
Beth Isaksen
Publication Activity (10 Years)
Years Active: 2006-2009
Publications (10 Years): 0
</>
Publications
</>
Andrew DeOrio
,
Adam Bauserman
,
Valeria Bertacco
,
Beth Isaksen
Inferno: Streamlining Verification With Inferred Semantics.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
28 (5) (2009)
Beth Isaksen
,
Valeria Bertacco
Verification through the principle of least astonishment.
ICCAD
(2006)