Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Klaus Havelund, Jan Peleska 0001, Bill Roscoe, Erik P. de Vink, editors, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Volume 10951 of Lecture Notes in Computer Science, Springer, 2018. [doi]

Conference: FM2018

This author has not been identified. It may be one of the following persons:

Klaus Havelund

Look up 'Klaus Havelund' in GoogleThis author has not been identified. Look up 'Jan Peleska 0001' in GoogleThis author has not been identified. Look up 'Bill Roscoe' in GoogleThis author has not been identified. Look up 'Erik P. de Vink' in Google

runs on WebDSL