Software Open Access
Cruz-Filipe, Luís;
Montesi, Fabrizio;
Peressotti, Marco
A formalisation in Coq of:
Name | Size | |
---|---|---|
Basic.v
md5:b3fb27d0508442182f5b045a2c5e9601 |
24.8 kB | Download |
CC.v
md5:12bfdc035ce18a6fc68ec8c09b43b186 |
71.5 kB | Download |
Common.v
md5:b9a37ac5254fe863666fdc5b618a944a |
17.6 kB | Download |
Implementation.v
md5:492dd2833431538036fe5616c4b83d09 |
108.4 kB | Download |
Kleene.v
md5:11d504e0cba24f3cac1f7ded286b09c6 |
49.2 kB | Download |
All versions | This version | |
---|---|---|
Views | 43 | 27 |
Downloads | 57 | 14 |
Data volume | 9.6 MB | 742.8 kB |
Unique views | 24 | 19 |
Unique downloads | 11 | 5 |