A concurrency analysis tool suite for Ada programs.
| Autor: | Young, Michal, Taylor, Richard N., Levine, David L., Nies, Kari A., Brodbeck, Debra |
|---|---|
| Zdroj: | ACM Transactions on Software Engineering & Methodology; Jan1995, Vol. 4 Issue 1, p65-106, 42p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|