Elven.: Elven – Logics for checking programs on the Web (Q2878517)
Jump to navigation
Jump to search
Project Q2878517 in Portugal
Language | Label | Description | Also known as |
---|---|---|---|
English | Elven.: Elven – Logics for checking programs on the Web |
Project Q2878517 in Portugal |
Statements
14,833.6 Euro
0 references
37,084.0 Euro
0 references
40.0 percent
0 references
7 January 2016
0 references
8 January 2019
0 references
UNIVERSIDADE DO PORTO
0 references
14 November 2023
0 references
Identifiers
LISBOA-01-0145-FEDER-016844
0 references