InhaltsangabeIncremental Refinement Checking for Test Case Generation.- Time for Mutants - Model-...

Labelled deduction is an approach to providing frameworks forpresenting and using different log...

The Joint Workshop on ¿Automated Reasoning for Security Protocol Analysis and Issues in the Theor...

This book constitutes the proceedings of the 5th International Conference on Principles of Securi...

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classica...

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classica...

Labelled deduction is an approach to providing frameworks forpresenting and using different log...

This book constitutes the refereed post-conference proceedings of the 10th International Workshop...

This book constitutes revised selected papers from the refereed conference proceedings of the 11t...