Provides an integrated coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a focused su

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia

This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing p

The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics