"Abstractions for validation in action" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012. 7320 LNCS:192-218
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400