A Calculus Supporting Contract Reasoning and Monitoring

  1. Cambronero, M.E.
  2. Llana, L.
  3. Pace, G.J.
Aldizkaria:
IEEE Access

ISSN: 2169-3536

Argitalpen urtea: 2017

Alea: 5

Orrialdeak: 6735-6745

Mota: Artikulua

DOI: 10.1109/ACCESS.2017.2696577 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus