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.

Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report

Andreas Katis, Andrew Gacek, Michael W. Whalen. Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report. In Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016. pages 36-41, ACM, 2016. [doi]

Authors

Andreas Katis

This author has not been identified. Look up 'Andreas Katis' in Google

Andrew Gacek

This author has not been identified. Look up 'Andrew Gacek' in Google

Michael W. Whalen

This author has not been identified. Look up 'Michael W. Whalen' in Google
runs on