Yoni Zohar

• Formal Methods : Foundations and Applications