Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319415901, 9783319415918
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tightening a Contract Refinement

2016 ◽  
pp. 386-402 ◽  
Author(s):  
Alessandro Cimatti ◽  
Ramiro Demasi ◽  
Stefano Tonetta

CoCoSpec: A Mode-Aware Contract Language for Reactive Systems

2016 ◽  
pp. 347-366 ◽  
Author(s):  
Adrien Champion ◽  
Arie Gurfinkel ◽  
Temesghen Kahsai ◽  
Cesare Tinelli
Keyword(s):  
Reactive Systems ◽  
Contract Language

scholarly journals Compliance Checking in the Open Payments Ecosystem

2016 ◽  
pp. 337-343 ◽  
Author(s):  
Shaun Azzopardi ◽  
Christian Colombo ◽  
Gordon J. Pace ◽  
Brian Vella
Keyword(s):  
Compliance Checking ◽  
Open Payments
Load More ...
Sign in / Sign up

Export Citation Format

Share Document