![](/img/cover-not-exists.png)
[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Properties and scopes in web model checking
Haydar, May, Boroday, Sergiy, Petrenko, Alexandre, Sahraoui, HouariYear:
2005
Language:
english
DOI:
10.1145/1101908.1101980
File:
PDF, 75 KB
english, 2005