1st Latin American Workshop on Formal Methods, LAFM 2013
1
1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011
1
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400