Towards automated consistency checking of module interface specifications
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Towards automated consistency checking of module interface specifications
Adres internetowy
Tytuł czasopisma
FUNDAMENTA INFORMATICAE
Medium
Tom
42
Zeszyt
3-4
Rok wydania
2000
Od strony
251
Do strony
278
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2000
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
]