| Acronym: Elven |
| Main Objective: The goal of the project is to verify web processing systens through the use of an intermediate language sufficiently expressive to uniformly encompass the semantics of most (if not all) of the key aspects of such components. |
| Reference: 04/SAICT/2015 |
| Funding: EU/H2020 |
| Start Date: 01-07-2016 |
| End Date: 30-06-2019 |
| Team: Ana Gualdina Almeida Matos, Jan Gunnar Cederquist |
| Groups: Security and Quantum Information - Lx |
| Partners: INESC TEC - Instituto de Enegnharia e de Sistemas de Computadores, Tecnologia e Ciência, Universidade do Porto |
| Local Coordinator: Ana Gualdina Almeida Matos |
|
|
|
Associated Publications
|
