HICLASS_ADMIN
This is a general repo for technical admin of Hi-Class.. e.g. planning budgets, preparing slides for QRMs, compiling deliverable documents.
Select Git revision
HICLASS_ADMIN
cfs authored
| Name | Last commit | Last update |
|---|---|---|
| Deliverables | ||
| Dissemination | ||
| Event-B -> SPARK | ||
| Expenses | ||
| Finance | ||
| Meetings | ||
| Planning_soton | ||
| Project_general | ||
| SMT-LIB/ch17.train.zip.download | ||
| WP1.2 | ||
| WP2.3 | ||
| WP2.4 | ||
| WP4.3 | ||
| case studies | ||
| README.md |