Login / Signup
Shimon Rura
Publication Activity (10 Years)
Years Active: 2003-2003
Publications (10 Years): 0
</>
Publications
</>
Shimon Rura
,
Barbara Staudt Lerner
Flexible Static Semantic Checking Using First-Order Logic.
EWSPT
(2003)