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 di...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Llibre |
| Idioma: | English |
| Publicat: |
Springer
2015
|
| Matèries: | |
| Accés en línia: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58543 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-58543 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-585432023-11-11T06:17:03Z FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings Bjørner, Nikolaj de Boer, Frank View all subjects Mathematical Logic and Formal Languages Software Engineering Congresses Formal methods 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. 2015-09-28T01:17:45Z 2015-09-28T01:17:45Z 2015 Book 978-3-319-19249-9 978-3-319-19248-2 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58543 en application/pdf Springer |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| topic |
View all subjects Mathematical Logic and Formal Languages Software Engineering Congresses Formal methods |
| spellingShingle |
View all subjects Mathematical Logic and Formal Languages Software Engineering Congresses Formal methods Bjørner, Nikolaj de Boer, Frank FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
| description |
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. |
| format |
Book |
| author |
Bjørner, Nikolaj de Boer, Frank |
| author_facet |
Bjørner, Nikolaj de Boer, Frank |
| author_sort |
Bjørner, Nikolaj |
| title |
FM 2015: Formal Methods:
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
| title_short |
FM 2015: Formal Methods:
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
| title_full |
FM 2015: Formal Methods:
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
| title_fullStr |
FM 2015: Formal Methods:
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
| title_full_unstemmed |
FM 2015: Formal Methods:
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
| title_sort |
fm 2015: formal methods:
20th international symposium, oslo, norway, june 24-26, 2015, proceedings |
| publisher |
Springer |
| publishDate |
2015 |
| url |
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58543 |
| _version_ |
1819812044352782336 |