Skip to main content

Model Checking with Abstraction for Web Services

Natasha Sharygina and Daniel Kroening

Book Title
Test and Analysis of Web Services
Editor
Luciano Baresi and Elisabetta DiNitto
ISBN
3540729119
Pages
121–145
Publisher
Springer
Year
2007