ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications.
Autor: | Terwilliger, Robert B., Campbell, Roy H. |
---|---|
Zdroj: | ACM Annual Computer Science Conference; Jan1986, p470-470, 1p |
Databáze: | Complementary Index |
Externí odkaz: |