FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
Pablo Castro

Registered user since Mon 11 Feb 2019

Name:Pablo Castro
Country:Argentina
Affiliation:Dept. of Computer Science FCEFQyN, University of Rio Cuarto
Research interests:Formal Methods

Contributions

Show activities from other conferences

Using general profile