Graph explorer

Angelo Ferrando

Angelo Ferrando contributes to research discovery and scholarly infrastructure.

8 nodes7 linksoverview previewAngelo Ferrando
8 nodes7 links
Angelo Ferrando8 visible / 8 total nodes / 7 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAngelo FerrandoResearcherWRV4JaCa -- Runtime Veri...preprint / 2022WProceedings of the Seco...preprint / 2022WCan determinism and com...preprint / 2020WCan determinism and com...preprint / 2020WProceedings of the Firs...preprint / 2020WLFC: Combining Autonomo...preprint / 2020WHeterogeneous Verificat...preprint / 2020
PersonSignal 107 links

Angelo Ferrando

Researcher

Open