Gheri, Lorenzo
Popescu, Andrei http://orcid.org/0000-0001-8747-0619
Funding for this research was provided by:
Engineering and Physical Sciences Research Council (EP/N019547/1)
UK Research Institute in Verified Trustworthy Software Systems
Article History
Received: 27 April 2018
Accepted: 2 April 2019
First Online: 16 April 2019