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.

Relational Reasoning via SMT Solving

Aboubakr Achraf El Ghazi, Mana Taghdiri. Relational Reasoning via SMT Solving. In Michael Butler, Wolfram Schulte, editors, FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Volume 6664 of Lecture Notes in Computer Science, pages 133-148, Springer, 2011. [doi]

Authors

Aboubakr Achraf El Ghazi

This author has not been identified. Look up 'Aboubakr Achraf El Ghazi' in Google

Mana Taghdiri

This author has not been identified. Look up 'Mana Taghdiri' in Google
runs on