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.

Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements

Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias. Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. In Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Volume 6255 of Lecture Notes in Computer Science, pages 275-289, Springer, 2010. [doi]

Authors

Mariano M. Moscato

This author has not been identified. Look up 'Mariano M. Moscato' in Google

Carlos López Pombo

This author has not been identified. Look up 'Carlos López Pombo' in Google

Marcelo F. Frias

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