Home›Books›Dimitra GiannakopoulouDimitra GiannakopoulouNo biography available.Works (2)FM 2012: Formal MethodsVerified Software : Theories, Tools and Experiments