Stefanie Muroya Lei - ‹Programming› 2023

Mon 13 - Fri 17 March 2023 Tokyo, Japan

Registered user since Thu 16 Feb 2023

Name:Stefanie Muroya Lei

Country:Peru

Affiliation:Institute of Science and Technology in Austria

Contributions

2023

QP

QUARC: Towards an Efficient Hybrid System for Bounded Model Checking

Show activities from other conferences

‹Programming› 2023-profile
View general profile