Home›Books›Jim DaviesJim DaviesNo biography available.Works (4)Formal Methods: Foundations and ApplicationsEngineering Agile Big-Data SystemsFormal methods and software engineeringRiveted