See at:
doi.org | link.springer.com
| CNR ExploRA
See at:
hal.inria.fr | ISTI Repository
| doi.org
| Hyper Article en Ligne
| link.springer.com
| CNR ExploRA
See at:
Logical Methods in Computer Science | Logical Methods in Computer Science
| lmcs.episciences.org
| CNR ExploRA
See at:
Journal of Logical and Algebraic Methods in Programming | Flore (Florence Research Repository)
| CNR ExploRA
See at:
ISTI Repository | International Journal on Software Tools for Technology Transfer
| link.springer.com
| CNR ExploRA
See at:
ISTI Repository | link.springer.com
| CNR ExploRA
See at:
ercim-news.ercim.eu | ISTI Repository
| ISTI Repository
| CNR ExploRA
See at: github.com | CNR ExploRA
See at: github.com | CNR ExploRA
See at: CNR ExploRA | zenodo.org
See at: CNR ExploRA | zenodo.org
See at: github.com | CNR ExploRA
See at: github.com | CNR ExploRA
See at: CNR ExploRA
See at: github.com | CNR ExploRA
See at: github.com | CNR ExploRA
See at: github.com | CNR ExploRA
See at: github.com | CNR ExploRA
See at: github.com | CNR ExploRA
See at: CNR ExploRA