Login / Signup
Ammar Karkour
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Deontic Logic
Fixpoint
Automatic Programming
Automated Theorem Provers
Top Venues
LFMTP
</>
Publications
</>
Laila El-Beheiry
,
Giselle Reis
,
Ammar Karkour
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts.
LFMTP
(2021)