Workshop on
Formal Aspects of Component Software FACS'03
(Submission deadline extended)
Satellite Workshop of the FM 2003
Pisa, Italy - September 8-9, 2003
Sponsored by: UNU/IIST
Co-sponsored by: CoLogNet, FME