Home›Books›Stefania GnesiStefania GnesiNo biography available.Works (2)FM 2016 : Formal MethodsFormal methods