Path Calculus in Program Verification.
| Autor: | Brand, Daniel |
|---|---|
| Zdroj: | Journal of the ACM; Oct1978, Vol. 25 Issue 4, p630-651, 22p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Brand, Daniel |
|---|---|
| Zdroj: | Journal of the ACM; Oct1978, Vol. 25 Issue 4, p630-651, 22p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|