diff options
Diffstat (limited to 'appunti')
| -rw-r--r-- | appunti | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -0,0 +1,7 @@ +scalability + +soundness of translated nn + +compatibility with other types of network + +comparison with other tool |
![]() |
index : vein.git | |
| VEIN: VErification via Interaction Nets | Eric Marin |
| aboutsummaryrefslogtreecommitdiff |