Formal semantics for BRM with examples

A.T.M. Aerts, D. Reus, de

    Onderzoeksoutput: Boek/rapportRapportAcademic

    122 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's25
    StatusGepubliceerd - 1991

    Publicatie series

    NaamComputing science notes
    Volume9124

    Citeer dit