Registered user since Mon 11 Feb 2019

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

Contributions

TACAS 2019 Author of Measuring Masking Fault-Tolerance within the TACAS 2019-track
* ICSE 2018 * Author of Goal-Conflict Likelihood Assessment based on Model Counting within the Technical Papers -track