CASL --- The Common Algebraic Specification Language: semantics and proof theory
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
CASL --- The Common Algebraic Specification Language: semantics and proof theory
Adres internetowy
Tytuł czasopisma
COMPUTING AND INFORMATICS
Medium
Tom
22
Zeszyt
Rok wydania
2003
Od strony
285
Do strony
321
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2003
Lista autorów
1.
Till Mossakowski,
Jednostka zewnetrzna
[
Współautor
]
2.
Anne Haxthausen,
Jednostka zewnetrzna
[
Współautor
]
3.
Donald Sannella,
Jednostka zewnetrzna
[
Współautor
]
4.
Andrzej Tarlecki
,
Zakład Logiki Stosowanej
[
Współautor
]