Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /
This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008 The 68 revised full papers presented together with 2 invited talks and 1 keynote speec...
Saved in:
| 企业作者: | |
|---|---|
| 其他作者: | , |
| 格式: | 电子 电子书 |
| 语言: | English |
| 出版: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| 版: | 1st ed. 2008. |
| 丛编: | Communications in Computer and Information Science,
17 |
| 主题: | |
| 在线阅读: | https://doi.org/10.1007/978-3-540-88479-8 |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
成为第一个发表评论!