Derivation of efficient implementation from formal descriptions: issues, methods conformance

H.H.C. Kremer (Speaker)

    Activity: Talk or presentationOral presentation

    Period7 Oct 1994
    Event titleInternational Conference on Formal Decription Techniques, FORTE 1994
    Event typeConference
    LocationBern, Switzerland

    Keywords

    • METIS-123726