research
∙
01/17/2023
Blockchain based Resource Governance for Decentralized Web Environments
Although the development of centralized web-based platforms have brought...
share
research
∙
03/26/2022
A Runtime Environment for Contract Automata
Realising contract-based applications from formal specifications with fo...
research
∙
01/27/2021
Systematic Evaluation and Usability Analysis of Formal Tools for System Design
Formal methods and supporting tools have a long record of successes in t...
research
∙
10/02/2019