A Correctness and Incorrectness Program Logic.
| Autor: | BRUNI, ROBERTO1 bruni@di.unipi.it, GIACOBAZZI, ROBERTO2 gori@di.unipi.it, GORI, ROBERTA1 roberto.giacobazzi@univr.it, RANZATO, FRANCESCO3 roberto.giacobazzi@univr.it |
|---|---|
| Zdroj: | Journal of the ACM. Apr2023, Vol. 70 Issue 2, p1-45. 45p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|