Login / Signup
Michael Ameri
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Formal Verification
Computer Programs
Expressive Power
Intermediate Representations
Top Venues
CoRR
IFM
</>
Publications
</>
Michael Ameri
,
Carlo A. Furia
Why Just Boogie? Translating Between Intermediate Verification Languages.
CoRR
(2016)
Michael Ameri
,
Carlo A. Furia
Why Just Boogie? - Translating Between Intermediate Verification Languages.
IFM
(2016)