Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 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

Show activities from other conferences

ICSE 2021-profile
View general profile