Login / Signup
Eunice Martins
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Execution Model
Object Relational
User Defined Functions
Sql Database
Top Venues
ITP
</>
Publications
</>
Véronique Benzaken
,
Evelyne Contejean
,
Chantal Keller
,
Eunice Martins
A Coq Formalisation of SQL's Execution Engines.
ITP
(2018)