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.

Verified Compilation and the B Method: A Proposal and a First Appraisal

Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior. Verified Compilation and the B Method: A Proposal and a First Appraisal. Electronic Notes in Theoretical Computer Science, 240:79-96, 2009. [doi]

Authors

Bartira Dantas

This author has not been identified. Look up 'Bartira Dantas' in Google

David Déharbe

This author has not been identified. Look up 'David Déharbe' in Google

Stephenson Galvão

This author has not been identified. Look up 'Stephenson Galvão' in Google

Anamaria Martins Moreira

This author has not been identified. Look up 'Anamaria Martins Moreira' in Google

Valério Medeiros Júnior

This author has not been identified. Look up 'Valério Medeiros Júnior' in Google
runs on