Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held ...

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research c...

This book constitutes the refereed proceedings of the Second International Symposium on Object Te...