• Sign in
  • Sign up
conf.researchr.org / Martin Ceresa
  • APLAS 2020 profile
  • ICFP 2020 profile
No Photo

Not registered as user

Name:Martin Ceresa
Affiliation:UNR - CIFASIS - CONICET

Contributions

2020

APLAS

  • Author of Declarative Stream Runtime Verification (hLola) within the Research Papers-track

HOPE

  • Author of Effectful Improvement Theory within the HOPE 2020-track
Share
xSat 24 May 15:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up