Ciprian Teodorov

• Formal Methods : Foundations and Applications