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.

Program Composition and Modular Verification

Limor Fix, Nissim Francez, Orna Grumberg. Program Composition and Modular Verification. In Javier Leach Albert, Burkhard Monien, Mario Rodríguez-Artalejo, editors, Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings. Volume 510 of Lecture Notes in Computer Science, pages 93-114, Springer, 1991.

Authors

Limor Fix

This author has not been identified. Look up 'Limor Fix' in Google

Nissim Francez

This author has not been identified. Look up 'Nissim Francez' in Google

Orna Grumberg

This author has not been identified. Look up 'Orna Grumberg' in Google
runs on