Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefanie Muroya Lei
conf.researchr.org general profile
‹Programming› 2023 profile
Registered user since Thu 16 Feb 2023
Name:
Stefanie Muroya Lei
Country:
Peru
Affiliation:
Institute of Science and Technology in Austria
Contributions
2023
QP
Author of QUARC: Towards an Efficient Hybrid System for Bounded Model Checking within the QP2023-track
Share
x
Fri 29 Mar 06:20