Experiments in automated analysis of concurrent software systems.
| Autor: | Avrunin, G., Wileden, J., Dillon, L. |
|---|---|
| Zdroj: | Proceedings of the ACM SIGSOFT '89 Third Symposium: Software Testing, Analysis & Verification; Dec1989, p124-130, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|