Semantics of architectural specifications in CASL
Publication info
Publication type
Publication in a journal
Publication kind
Article
Publication title
Semantics of architectural specifications in CASL
Web URL
Journal title
LECTURE NOTES IN COMPUTER SCIENCE
Media type
Volume
Book
2029
Publication year
2001
From page
253
To page
266
Publication number
Publication language
English
Ethnic language of studied culture
Range
international
Report year
2001
Authors list
1.
Andrzej Tarlecki
,
Zakład Logiki Stosowanej
[
Co-author
]
2.
Piotr Hoffman
,
Zakład Logiki Stosowanej
[
Co-author
]
3.
B. Klin,
External unit
[
Co-author
]
4.
A. Schroeder,
External unit
[
Co-author
]
5.
T. Mossakowski,
External unit
[
Co-author
]