‹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