Book ChapterUnknown
KNOWLEDGE-BASED DERIVATION OF PROGRAMS FROM SPECIFICATIONS
Authors
Author Affiliations
Motorola (United States), Argonne National Laboratory, Queens University
Published InWORLD SCIENTIFIC eBooks
Year1998
Citations4
Abstract
No abstract is available for this paper from the publisher. Use the link below to view the full record at the source.
View at Publisher
BORR does not host full-text PDFs. The button above takes you to the original publisher.