Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Denis Bueno
conf.researchr.org general profile
POPL 2019 profile
SPLASH 2022 profile
Registered user since Tue 26 Apr 2022
Name:
Denis Bueno
Contributions
2022
Static Analysis Symposium
Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track
2019
VMCAI
Author of euforia: Complete Software Model Checking with Uninterpreted Functions within the VMCAI 2019-track
Share
x
Thu 21 Nov 16:54