Statistics
Publications
2
Citations
87
H-Index
2
Active since
2018
Affiliations
Lucas dos Santos Leal is an author at Universidade Federal do Rio Grande do Sul specializing in computing, software engineering, and autonomous systems.
Publications per year
2018–2020
2
2
Uncovering Bugs in P4 Programs with Assertion-based Verification
Lucas G. Freire, Miguel Neves, Lucas dos Santos Leal et al. · 2018 · 67 citations · Full text
Pedro Marcos, Lars Prehn, Lucas dos Santos Leal et al. · 2020 · 20 citations · Full text
1–2 of 2