Themulus: A timed contract-calculus
- García, A.A.
- Cambronero, M.-E.
- Colombo, C.
- Llana, L.
- Pace, G.J.
Konferenzberichte:
MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development
ISBN: 9789897584008
Datum der Publikation: 2020
Seiten: 193-204
Art: Konferenz-Beitrag