FM 2008: Formal Methods
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully re...
Saved in:
Other Authors: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/26306 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
id |
oai:112.137.131.14:VNU_123-26306 |
---|---|
record_format |
dspace |
spelling |
oai:112.137.131.14:VNU_123-263062020-07-07T08:23:31Z FM 2008: Formal Methods Cuellar, Jorge Maibaum, Tom Computer Science 004 This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design. 2017-04-11T08:26:20Z 2017-04-11T08:26:20Z 2008 Book 978-3-540-68235-6 http://repository.vnu.edu.vn/handle/VNU_123/26306 en 449 p. application/pdf Springer |
institution |
Vietnam National University, Hanoi |
building |
VNU Library & Information Center |
country |
Vietnam |
collection |
VNU Digital Repository |
language |
English |
topic |
Computer Science 004 |
spellingShingle |
Computer Science 004 FM 2008: Formal Methods |
description |
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.
The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design. |
author2 |
Cuellar, Jorge |
author_facet |
Cuellar, Jorge |
format |
Book |
title |
FM 2008: Formal Methods |
title_short |
FM 2008: Formal Methods |
title_full |
FM 2008: Formal Methods |
title_fullStr |
FM 2008: Formal Methods |
title_full_unstemmed |
FM 2008: Formal Methods |
title_sort |
fm 2008: formal methods |
publisher |
Springer |
publishDate |
2017 |
url |
http://repository.vnu.edu.vn/handle/VNU_123/26306 |
_version_ |
1680965396635582464 |