Levi Lucio

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 6

Top Topics

Declarative Language

Machine Learning

Formal Verification

Requirements Engineering

Top Venues

MoDELS (Workshops)

Publications