Name
Playground
About
FAQ
GitHub
Home
/
Visualization
/
WSCOVER: A TOOL FOR AUTOMATIC COMPOSITION AND VERIFICATION OF WEB SERVICES USING HEURISTIC-GUIDED MODEL CHECKING AND LOGIC-BASED CLUSTERING.
0
5
Authors
Cited by
References
Loading...