skip to content
Showing all editions for 'Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings'
Format
Refine Your Search
Year
  • 2018
Language
  • English
Displaying Editions 1 - 6 out of 6
Select All Clear All
      Title / Author Type Language Date / Edition Publication
1. Formal Methods : 22nd International Symposium,... by Klaus Havelund
by Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink;
  eBook : Document
English
2018
 
Cham : Springer International Publishing
 
2. Formal Methods : 22nd International Symposium,... by Klaus Havelund
by Klaus Havelund; Jan Peleska; Bill Roscoe; Erik de Vink;
  eBook : Document
English
2018
 
Cham Springer International Publishing Springer Nature
 
3. Formal Methods : 22nd International Symposium,... by Klaus Havelund
by Klaus Havelund; Jan Peleska; Bill Roscoe; Erik De Vink;
  eBook : Document
English
2018
 
Cham : Springer International Publishing
 
4. Formal methods : 22nd International Symposium,... by Klaus Havelund
by Klaus Havelund; Jan Peleska; A W Roscoe; Erik de Vink;
  eBook : Document : Conference publication
English
2018
 
Cham, Switzerland : Springer
 
5. Formal methods : 22nd international symposium,... by Klaus Havelund
by Klaus Havelund;
  Print book : Conference publication
English
2018
 
Cham Springer
 
6. Formal methods : 22nd International Symposium,... by Klaus Havelund
by Klaus Havelund;
  Print book : Conference publication
English
2018
 
Cham, Switzerland : Springer
 
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.