Publications of Andrea Corradini sorted by journal and type
Publications of type Inproceedings
2009
| and , Heterogeneous Logical Environments for Distributed Specifications, in: WADT 2008, pages 266--289, Springer, 2009 |
[DOI] |
| and , Heterogeneous Logical Environments for Distributed Specifications, in: WADT 2008, pages 266--289, Springer, 2009 |
[DOI] |