This book integrates coverage of random probabilistic algorithms, assertion-based program reasoni...

This book constitutes the proceedings of the 20thInternational Conference on Logic for Programmin...

This book constitutes the proceedings of the 15th International Conference on Quantitative Evalua...

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, ...

This book presents a comprehensive mathematical theory that explains precisely what information f...