2023
Contribution to conference
Open Access
A runtime environment for contract automata
Basile D.
Runtime environment Contract automata Video
This is the presentation of the paper "A Runtime Environment for Contract Automata", published at the 25th International Symposium on Formal Methods. The paper is available at https://doi.org/10.1007/978-3-031-27481-7_31
Source: FM 2023 - Formal Methods: 25th International Symposium, Luebeck, Germany, 6-10/03/2023
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:487376,
title = {A runtime environment for contract automata},
author = {Basile D.},
booktitle = {FM 2023 - Formal Methods: 25th International Symposium, Luebeck, Germany, 6-10/03/2023},
year = {2023}
}CNR authorsLaboratories
0000-0002-7196-6609