Tussen droom en daad : formele methoden en gereedschappen bij specificatie en implementatie van open systemen

E. Brinksma

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

    Originele taal-2Engels
    Pagina's (van-tot)20-303
    TijdschriftInformatie
    Volume35
    Nummer van het tijdschrift9
    StatusGepubliceerd - 1993

    Citeer dit