Effective Axiomatizations of Hoare Logics.
| Autor: | Clarke Jr., Edmund M., German, Steven M., Halpern, Joseph Y. |
|---|---|
| Zdroj: | Journal of the ACM; Jul1983, Vol. 30 Issue 3, p612-636, 25p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Clarke Jr., Edmund M., German, Steven M., Halpern, Joseph Y. |
|---|---|
| Zdroj: | Journal of the ACM; Jul1983, Vol. 30 Issue 3, p612-636, 25p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|