ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • Teaching brave, yet critical use of formal description techniques: the case of computer tools for distributed systems design
    Kapus-Kolar, Monika
    Source: Conference abstracts (Str. 95-96)
    Type of material - conference contribution
    Publish date - 1992
    Language - english
    COBISS.SI-ID - 2076694