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.

CAMILA: Prototyping and Refinement of Constructive Specifications

José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira. CAMILA: Prototyping and Refinement of Constructive Specifications. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings. Volume 1349 of Lecture Notes in Computer Science, pages 554-559, Springer, 1997.

Authors

José João Almeida

This author has not been identified. Look up 'José João Almeida' in Google

Luís Soares Barbosa

This author has not been identified. Look up 'Luís Soares Barbosa' in Google

F. L. Neves

This author has not been identified. Look up 'F. L. Neves' in Google

José Nuno Oliveira

This author has not been identified. It may be one of the following persons: Look up 'José Nuno Oliveira' in Google
runs on