"What is a formal representation in design and what is it good for?"

L.K. Alberts

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationFormal Design Methods for Computer-Aided Design
    Place of PublicationAmsterdam
    PublisherElsevier/IFIP
    Pages59-70
    ISBN (Print)0 444 819703
    Publication statusPublished - 1994

    Keywords

    • METIS-118953

    Cite this

    Alberts, L. K. (1994). "What is a formal representation in design and what is it good for?". In Formal Design Methods for Computer-Aided Design (pp. 59-70). Amsterdam: Elsevier/IFIP.