Architectural Specifications in CASL
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Architectural Specifications in CASL
Adres internetowy
Tytuł czasopisma
FORMAL ASPECTS OF COMPUTING
Medium
Tom
13
Zeszyt
Rok wydania
2002
Od strony
252
Do strony
273
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2002
Lista autorów
1.
Andrzej Tarlecki
,
Zakład Logiki Stosowanej
[
Współautor
]
2.
Michel Bidoit,
Jednostka zewnetrzna
[
Współautor
]
3.
Don Sannella,
Jednostka zewnetrzna
[
Współautor
]