Towards automated consistency checking of module interface specifications

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacji Towards automated consistency checking of module interface specifications
Adres internetowy
Tytuł czasopismaFUNDAMENTA INFORMATICAE
Medium
Tom42
Zeszyt3-4
Rok wydania2000
Od strony251
Do strony278
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2000

Lista autorów
  
 1. Marcin Engel, Zakład Systemów Operacyjnych [Współautor]
 3. Janina Mincer-Daszkiewicz, Instytut Informatyki [Współautor]
 4. A Kret, Instytut Informatyki [Współautor]