Informal proof analysis towards testing enhancement.
| Autor: | Lussier, G., Waeselynck, H. |
|---|---|
| Zdroj: | Proceedings of the 13th International Symposium on Software Reliability Engineering, 2002; 2002, p27-38, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Lussier, G., Waeselynck, H. |
|---|---|
| Zdroj: | Proceedings of the 13th International Symposium on Software Reliability Engineering, 2002; 2002, p27-38, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|