Bøger af Wan Fokkink

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.