A denotational semantics for SIL-1 as basis for transformational design of digital systems

C. Huijs

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publication8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))
    Place of PublicationAmsterdam
    Publication statusPublished - 25 Mar 1994


    • METIS-119367

    Cite this