This book constitutes the proceedings of the Third International Conference on Abstract State Mac...

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