Login / Signup
Lázaro Vinicius de Oliveira Lima
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Data Sets
Neural Network
Dynamic Logic
Imperative Programs
Top Venues
ICPEC
</>
Publications
</>
Luis Carlos Martins
,
Lázaro Vinicius de Oliveira Lima
,
Pedro Rangel Henriques
LCSMAR, an AR Based Tool to Inspect Imperative Programs.
ICPEC
(2023)