You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
On Implementation of the Assumption Generation Method for Component-Based Software Verification
|
---|---|
Chapter number | 47 |
Book title |
Advanced Topics in Intelligent Information and Database Systems
|
Published by |
Springer International Publishing, March 2017
|
DOI | 10.1007/978-3-319-56660-3_47 |
Book ISBNs |
978-3-31-956659-7, 978-3-31-956660-3
|
Authors |
Chi-Luan Le, Hoang-Viet Tran, Pham Ngoc Hung |
Editors |
Dariusz Król, Ngoc Thanh Nguyen, Kiyoaki Shirai |