18th International Symposium on Formal Methods, FM 2012
1
30th International Conference on Software Engineering 2008, ICSE'08
1
Computer Science - Research and Development
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