Universidad Complutense de Madrid
E-Prints Complutense


Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Flores Montoya, A. and Genaim, Samir and Gómez-Zamalloa Gil, Miguel and Martín Martín, Enrique and Puebla, G. and Román Díez, Guillermo (2014) SACO: Static analyzer for concurrent objects. In 20th International Conference, TACAS 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, April 5-13, 2014, Grenoble, France.

This list was generated on Tue Nov 24 04:28:41 2020 CET.