Proof-carrying parameters in certified symbolic execution.
| Autor: | Arusoaie, Andrei1 (AUTHOR) andrei.arusoaie@gmail.com, Lucanu, Dorel1 (AUTHOR) dorel.lucanu@gmail.com |
|---|---|
| Zdroj: | Logic Journal of the IGPL. Jun2024, Vol. 32 Issue 3, p534-571. 38p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|