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 Genaim, Samir and Gordillo, Pablo (2015) May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. In 22nd International Symposium, SAS 2015, September 9-11, 2015, Saint-Malo, France.

This list was generated on Thu Feb 20 17:05:28 2020 CET.