External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Tightening a Contract Refinement

Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta. Tightening a Contract Refinement. In Rocco De Nicola, eva Kühn, editors, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. Volume 9763 of Lecture Notes in Computer Science, pages 386-402, Springer, 2016. [doi]

Authors

Alessandro Cimatti

This author has not been identified. Look up 'Alessandro Cimatti' in Google

Ramiro Demasi

This author has not been identified. Look up 'Ramiro Demasi' in Google

Stefano Tonetta

This author has not been identified. Look up 'Stefano Tonetta' in Google
runs on