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.

Object Specification Logic

Amílcar Sernadas, Cristina Sernadas, José Félix Costa. Object Specification Logic. Journal of Logic and Computation, 5(5):603-630, 1995.

Authors

Amílcar Sernadas

This author has not been identified. Look up 'Amílcar Sernadas' in Google

Cristina Sernadas

This author has not been identified. Look up 'Cristina Sernadas' in Google

José Félix Costa

This author has not been identified. Look up 'José Félix Costa' in Google
runs on