RoSE 2021
Wed 2 Jun 2021
co-located with ICSE 2021

Registered user since Fri 12 Mar 2021

Name:Mate Soos
Affiliation:Hobbyist
Personal website:https://www.msoos.org
Research interests:SAT solving, Counting

Contributions

ICSE 2021 Designing Tester and Sampler in Tandem
Show activities from other conferences

ICSE 2021-profile
View general profile