1 Introduction and Overview.- 1.1 General Introduction.- 1.2 Significance of the Work.- 1.3 Overa...

Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec#.- ...

Invited Talks.- A Structure for Dependability Arguments.- Formal Probabilistic Analysis: A Higher...

This book shows how open source intelligence can be a powerful tool for combating crime by linkin...

This book constitutes the refereed proceedings of the 9th International Conference on Rigorous St...

This book shows how open source intelligence can be a powerful tool for combating crime by linkin...