Cesar: a static sequencing constraint analyzer.
| Autor: | Olender, K., Osterweil, L. |
|---|---|
| Zdroj: | Proceedings of the ACM SIGSOFT '89 Third Symposium: Software Testing, Analysis & Verification; Dec1989, p66-74, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Olender, K., Osterweil, L. |
|---|---|
| Zdroj: | Proceedings of the ACM SIGSOFT '89 Third Symposium: Software Testing, Analysis & Verification; Dec1989, p66-74, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|