![](/img/cover-not-exists.png)
[ACM Press the 2011 International Symposium - Toronto, Ontario, Canada (2011.07.17-2011.07.21)] Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 - Automated framework for formal operator task analysis
Yasmeen, Ayesha, Gunter, Elsa L.Year:
2011
Language:
english
DOI:
10.1145/2001420.2001430
File:
PDF, 907 KB
english, 2011