Formal Description Techniques VII edited by D. Hogrefe, S. Leue.
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Saved in: