‹Programming› 2023 (series) / Stefanie Muroya Lei

Registered user since Thu 16 Feb 2023
Name:Stefanie Muroya Lei
Country:Peru
Affiliation:Institute of Science and Technology in Austria
Contributions
QP 2023 | QUARC: Towards an Efficient Hybrid System for Bounded Model Checking | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile