![](/img/cover-not-exists.png)
[IEEE 2006 Sixth International Conference on Quality Software (QSIC'06) - Beijing, China (2006.10.27-2006.10.27)] 2006 Sixth International Conference on Quality Software (QSIC'06) - Automating Invariant Verification of Behavioral Specifications
Nakano, Masahiro, Ogata, Kazuhiro, Nakamura, Masaki, Futatsugi, KokichiYear:
2006
Language:
english
DOI:
10.1109/qsic.2006.17
File:
PDF, 201 KB
english, 2006