Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 2009 | |
| Contributo in Atti di convegno | |
| Reducing context-bounded concurrent reachability to sequentialreachability. In: Proc. of 21st International Conference on Computer-Aided Verification, (CAV'09). Lecture Notes in Computer Science BERLIN Springer Vol.5643, Pag.477-492 ISBN:9783642026577 | |
| International Conference on Computer-Aided Verification (CAV'09) Grenoble (France) June 26 - July 2, 2009 | |
| LA TORRE, Salvatore; Madhusudan, P; Parlato, G. | |
| Codice identificativo SCOPUS: 2-s2.0-70350241658 | |
| Show it in Product Database (IRIS) |
| 2009 | |
| Contributo in Atti di convegno | |
| Analyzing Recursive Programs using a Fixed-point Calculus. In: Proc. of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation, (PLDI'09) ACM press Pag.211-222 ISBN:978-160558392-1 | |
| ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI'09) Dublin (Ireland) June 15-20, 2009 | |
| LA TORRE, Salvatore; Madhusudan, P; Parlato, G. | |
| Codice identificativo SCOPUS: 2-s2.0-70450260585 | |
| Show it in Product Database (IRIS) |
