Themulus: A timed contract-calculus

  1. García, A.A.
  2. Cambronero, M.-E.
  3. Colombo, C.
  4. Llana, L.
  5. Pace, G.J.
Actas:
MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development

ISBN: 9789897584008

Año de publicación: 2020

Páginas: 193-204

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus