This book constitutes the proceedings of the 6th International Conference on Web Information Syst...

This book constitutes the refereed proceedings of the Third International Conference on Future Da...

VDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three generations of...

This book constitutes the refereed proceedings of the Third IFIP TC 5 8International Conference o...

This book constitutes the refereed proceedings of the 5th IFIP TC 5 International Conference on C...

We report here the results obtained thus far along two distinct but complementary and converging ...

In software engineering there is a growing need for formalization as a basis for developing power...

This book constitutes the refereed proceedings of the International Conference on Information and...

This book constitutes the refereed proceedings of the Second IFIP TC 5 8 International Conference...

The International Conference on Asian Digital Libraries 2005 (ICADL 2005), held in Bangkok, Thail...

This book constitutes the refereed proceedings of the Second InternationalConference on Future Da...

This book constitutes the refereed proceedings of the ThirdInternational Conference on Future Dat...