Login / Signup
Maor Veitsman
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Inductive Inference
Locally Weighted
Real Valued Functions
Recursive Functions
Top Venues
FM
</>
Publications
</>
Ofer Strichman
,
Maor Veitsman
Regression Verification for Unbalanced Recursive Functions.
FM
(2016)