Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, t...

The security issues set by the global digitization of our society have had, and will continue to ...

This book constitutes the refereed proceedings of the 15th International Conference on Automated ...