Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is L and Author is Leonardo Alt  [Clear All Filters]
Conference Paper
LRA Interpolants from No Man's Land, Alt, Leonardo, Hyvärinen Antti E. J., and Sharygina Natasha , Haifa Verification Conference (HVC), (2017)