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.

Toward Component-Oriented Formal Software Development: An Algebraic Approach

Michel Bidoit, Donald Sannella, Andrzej Tarlecki. Toward Component-Oriented Formal Software Development: An Algebraic Approach. In Martin Wirsing, Alexander Knapp, Simonetta Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Volume 2941 of Lecture Notes in Computer Science, pages 75-90, Springer, 2002. [doi]

Authors

Michel Bidoit

This author has not been identified. Look up 'Michel Bidoit' in Google

Donald Sannella

This author has not been identified. It may be one of the following persons: Look up 'Donald Sannella' in Google

Andrzej Tarlecki

This author has not been identified. Look up 'Andrzej Tarlecki' in Google
runs on