Justification logic and audited computation.
Saved in:
| Title: | Justification logic and audited computation. |
|---|---|
| Authors: | Bavera, Francisco1, fbavera@gmail.com, Bonelli, Eduardo2 |
| Source: | Journal of Logic & Computation; Jul2018, Vol. 28 Issue 5, p909-934, 26p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
