122 followers
RT @verif_papers: May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. - Elvira Albert,… http:/…
RT @verif_papers: May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. - Elvira Albert,… http:/…
RT @verif_papers: May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. - Elvira Albert,… http:/…
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. - Elvira Albert,… http://t.co/ZbH92q4oxz