Erika Abraham

At The Pinnacle

Tools and Algorithms for the Construction and Analysis of Systems

Theory and Practice of Formal Methods