A Typed Language for Events
| Title | A Typed Language for Events |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Sandra Alves and Sabine Broda and Maribel Fernández |
| Conference Name | 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015) - Revised Selected Papers |
| Month of Publish | December |
| Publisher | Springer - LNCS |
| Conference Location | Sienna, Italy |
| URL | http://alpha.diism.unisi.it/lopstr15/ |
| DOI | 10.1007/978-3-319-27436-2_7 |