Text
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
Availability
No copy data
Detail Information
- Series Title
-
-
- Call Number
-
-
- Publisher
- : Springer Cham., 2015
- Collation
-
156 b/w illustrations
- Language
-
English
- ISBN/ISSN
-
978-3-319-19249-9
- Classification
-
NONE
- Content Type
-
text
- Media Type
-
computer
- Carrier Type
-
online resource
- Edition
-
-
- Subject(s)
- Specific Detail Info
-
-
- Statement of Responsibility
-
Nikolaj Bjørner, Frank de Boer
Other Information
- Cataloger
-
agus
- Source
-
-
- Validator
-
-
Other version/related
No other version available
File Attachment
Comments
You must be logged in to post a comment
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography