External Links

Cite Key

Statistics

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

PDF

Tags

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 Abstraction for DynAlloy Specifications

Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis. Towards Abstraction for DynAlloy Specifications. In Shaoying Liu, T. S. E. Maibaum, Keijiro Araki, editors, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Volume 5256 of Lecture Notes in Computer Science, pages 207-225, Springer, 2008. [doi]

Authors

Nazareno Aguirre

This author has not been identified. Look up 'Nazareno Aguirre' in Google

Marcelo F. Frias

This author has not been identified. Look up 'Marcelo F. Frias' in Google

Pablo Ponzio

This author has not been identified. Look up 'Pablo Ponzio' in Google

Brian J. Cardiff

This author has not been identified. Look up 'Brian J. Cardiff' in Google

Juan P. Galeotti

This author has not been identified. Look up 'Juan P. Galeotti' in Google

Germán Regis

This author has not been identified. Look up 'Germán Regis' in Google
runs on