A Calculus Supporting Contract Reasoning and Monitoring
Cambronero, Maria Emilia, Llana, Luis, Pace, Gordon J.Volume:
5
Year:
2017
Language:
english
Journal:
IEEE Access
DOI:
10.1109/access.2017.2696577
File:
PDF, 2.06 MB
english, 2017