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

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

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

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

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

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

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

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

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

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

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...