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.

Synthesis of Specifications from Programs

Nadya Tareb, Yves Kodratoff. Synthesis of Specifications from Programs. In Ernst Buchberger, Johannes Retti, editors, 3. Österreichische Artificial Intelligence-Tagung, Wien, 22.-25. September 1987. Volume 151 of Informatik-Fachberichte, pages 157-167, Springer, 1987.

Authors

Nadya Tareb

This author has not been identified. Look up 'Nadya Tareb' in Google

Yves Kodratoff

This author has not been identified. Look up 'Yves Kodratoff' in Google
runs on