"Model Checker Execution Reports" at ASE 2017

R. Castaño, Victor A. Braberman, Diego Garbervetsky, and Sebastian Uchitel will present the paper “Model Checker Execution Reports” (New Ideas paper) at the International Conference on Automated Software Engineering (ASE) from October 30 to November 3 at Urbana-Champaign, Illinois, USA.

About Alejandro Díaz-Caro

Profesor Adjunto @ UNQ
Investigador Asistente @ CONICET

Bookmark the permalink.