Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.
Saved in:
| Title: | Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. |
|---|---|
| Authors: | JAKOBS, MARIE-CHRISTINE1, WEHRHEIM, HEIKE1 |
| Source: | ACM Transactions on Programming Languages & Systems; 2017, Vol. 39 Issue 2, p7-7:56, 56p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
