Registered user since Mon 4 Dec 2017
Currently, I am a Post-doc at the Department of Computer Science at the Universidad Nacional de Río Cuarto, Argentina. I am working in the area of software requirement engineering. Precisely, I am interested to use automated analysis in the elaboration and validation of software requirements.
|* ICSE 2018 *||Goal-Conflict Likelihood Assessment based on Model Counting|
|Show activities from other conferences|
View general profile