Model Checking with Abstraction for Web Services
Natasha Sharygina and Daniel Kroening
Details
| Book Title |
Test and Analysis of Web Services |
| Editor |
Luciano Baresi and Elisabetta DiNitto |
| ISBN |
3540729119 |
| Pages |
121–145 |
| Publisher |
Springer |
| Year |
2007 |
Links
Related pages
|
People |