![](/img/cover-not-exists.png)
[IEEE 2008 Eighth International Conference on Quality Software (QSIC) - Oxford, United Kingdom (2008.08.12-2008.08.13)] 2008 The Eighth International Conference on Quality Software - Reachability and Propagation for LTL Requirements Testing
Fraser, Gordon, Ammann, PaulYear:
2008
Language:
english
DOI:
10.1109/qsic.2008.21
File:
PDF, 336 KB
english, 2008