“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

Investigador Asistente @ CONICET and Profesor Adjunto @ UNQ
Bookmark the permalink.