Vincenzo Ciancia

Researcher in Computer Science at ISTI-CNR, with expertise in Model Checking, Logics, Category Theory, and programming.

Results 1 repositories owned by


                                            Vincenzo Ciancia

Stars

Forks

Watchers

Topochecker, a topological model checker