See at:
ercim-news.ercim.eu | CNR ExploRA
See at:
Journal of Logical and Algebraic Methods in Programming | CNR ExploRA
See at: CNR ExploRA
See at: CNR ExploRA
See at:
ISTI Repository | doi.org
| link.springer.com
| CNR ExploRA
See at:
ISTI Repository | dl.acm.org
| doi.org
| CNR ExploRA
See at: CNR ExploRA
See at:
doi.org | www.scopus.com
| CNR ExploRA
See at:
ISTI Repository | dl.acm.org
| doi.org
| CNR ExploRA
See at:
ceur-ws.org | ISTI Repository
| CNR ExploRA
See at:
link.springer.com | ISTI Repository
| doi.org
| CNR ExploRA
See at:
Journal of Systems and Software | www.sciencedirect.com
| CNR ExploRA
See at:
ceur-ws.org | ISTI Repository
| CNR ExploRA
See at:
dl.acm.org | ISTI Repository
| CNR ExploRA