Login / Signup
Luciana Rodriguez Caldeira
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Data Stores
Analytic Tools
Big Data
Business Intelligence
Top Venues
CACIC
</>
Publications
</>
Fernando Asteasuain
,
Luciana Rodriguez Caldeira
A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems.
CACIC
(2021)