Cesar Cornejo - ASE 2020

Write a Blog >>

Mon 21 - Fri 25 September 2020 Melbourne, Australia

Registered user since Tue 18 Aug 2020

Name:Cesar Cornejo

Country:Argentina

Affiliation:University of Rio Cuarto and CONICET

Contributions

2020

ASE

SAT-Based Arithmetic Support for Alloy

Show activities from other conferences

ASE 2020-profile
View general profile