2023
Other
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
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:487376,
title = {A runtime environment for contract automata},
author = {Basile D},
year = {2023}
}CNR authorsLaboratories
0000-0002-7196-6609