For more than the last three decades, the security of software systems has been an important area...

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the bord...

This book constitutes the refereed proceedings of the 4th International Conference on Tools and M...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...