Cláudio Lourenço

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 2

Top Topics

Formal Specification Language

Top Venues

Publications

Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, Mário Pereira
GOSPEL - Providing OCaml with a Formal Specification Language. FM (2019)
André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço
A framework for quality assessment of ROS repositories. IROS (2016)