This book constitutes the refereed proceedings of the 4th International Conference on Interactive...

This book constitutes the refereedproceedings of the 22nd International Static Analysis Symposi...

Ce livre introduit les sémantiques formelles et détaille des exemples d''utilisation pour définir...

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th Internatio...