Type-Based Analysis for Session Inference
You are here
| Title | Type-Based Analysis for Session Inference |
| Publication Type | Book Chapter |
| Year of Publication | 2016 |
| Authors | Spaccasassi C, Koutavas V |
| Editor | Albert E, Lanese I |
| Date Published | 2016 |
| Publisher | Springer International Publishing |
| City | Cham |
| Publication Language | eng |
| ISBN Number | 978-3-319-39570-8 |
| URL | http://dx.doi.org/10.1007/978-3-319-39570-8_17 |
