TY  - BOOK
AU  - Sassone,Vladimiro
ED  - FOSSACS 2005
ED  - SpringerLink (Online service)
TI  - Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 
SN  - 9783540319825 (electronic bk.)
U1  - 005.1 22
PY  - 2005///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Computer software
KW  - Congresses
KW  - System analysis
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/b106850
ER  -