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.

Rigorous Software Development - An Introduction to Program Verification

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. Rigorous Software Development - An Introduction to Program Verification. Undergraduate Topics in Computer Science, Springer, 2011. [doi]

Authors

José Bacelar Almeida

This author has not been identified. Look up 'José Bacelar Almeida' in Google

Maria João Frade

This author has not been identified. Look up 'Maria João Frade' in Google

Jorge Sousa Pinto

This author has not been identified. Look up 'Jorge Sousa Pinto' in Google

Simão Melo de Sousa

This author has not been identified. Look up 'Simão Melo de Sousa' in Google
runs on