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.

Alloy4SPV : A Formal Framework for Software Process Verification

Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais. Alloy4SPV : A Formal Framework for Software Process Verification. In Jordi Cabot, Julia Rubin, editors, Modelling Foundations and Applications - 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings. Volume 8569 of Lecture Notes in Computer Science, pages 83-100, Springer, 2014. [doi]

Authors

Yoann Laurent

This author has not been identified. Look up 'Yoann Laurent' in Google

Reda Bendraou

This author has not been identified. Look up 'Reda Bendraou' in Google

Souheib Baarir

This author has not been identified. Look up 'Souheib Baarir' in Google

Marie-Pierre Gervais

This author has not been identified. Look up 'Marie-Pierre Gervais' in Google
runs on