Statistics
Publications
47
Citations
1.5K
H-Index
25
Active since
2007
Alberto Schaeffer-Filho is an author at Universidade Federal do Rio Grande do Sul specializing in engineering, systems engineering, and computer science.
Publications per year
2007–2023
47
47
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
1–5 of 47