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.

Agile Validation of Higher Order Transformations Using F-Alloy

Loïc Gammaitoni, Pierre Kelsen, Qin Ma 0002. Agile Validation of Higher Order Transformations Using F-Alloy. In 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016. pages 125-131, IEEE, 2016. [doi]

Authors

Loïc Gammaitoni

This author has not been identified. Look up 'Loïc Gammaitoni' in Google

Pierre Kelsen

This author has not been identified. Look up 'Pierre Kelsen' in Google

Qin Ma 0002

This author has not been identified. Look up 'Qin Ma 0002' in Google
runs on