Searching for "Tool Support for Model Checking of Web Application Designs." – sorted by Relevance.
-
Tool Support for Model Checking of Web Application Designs. http://www.elet.polimi.it/upload/mbrambil/webmlwave
- Tool Support for Model Checking of Web application designs * Marco Brambilla 1 , Jordi Cabot 2
- Cited by 2 (0 self) – Add To MetaCart

