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