![](/img/cover-not-exists.png)
[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines
Hallé, Sylvain, Ettema, Taylor, Bunch, Chris, Bultan, TevfikYear:
2010
Language:
english
DOI:
10.1145/1858996.1859044
File:
PDF, 684 KB
english, 2010