Luckcuck, Matt http://orcid.org/0000-0002-6444-9312
Farrell, Marie http://orcid.org/0000-0001-7708-3877
Dennis, Louise A. http://orcid.org/0000-0003-1426-1896
Dixon, Clare http://orcid.org/0000-0002-4610-9533
Fisher, Michael http://orcid.org/0000-0002-0875-3862
Chapter History
First Online: 22 November 2019
Conference Information
Conference Acronym: IFM
Conference Name: International Conference on Integrated Formal Methods
Conference City: Bergen
Conference Country: Norway
Conference Year: 2019
Conference Start Date: 2 December 2019
Conference End Date: 6 December 2019
Conference Number: 15
Conference ID: ifm2019
Conference URL: http://ifm2019.hvl.no/