diff options
| author | Eduardo Julian | 2022-06-06 01:17:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-06 01:17:43 -0400 |
| commit | f21ca0dc1956a47b8f7ac6e0ea67d7d246c55280 (patch) | |
| tree | 10a40b25b8ed6e332d2fe4f273dcda6bfcbba3bd /documentation/bookmark/security/verification | |
| parent | f623de52d76ad8ec96feb048cd95a3fb150717e1 (diff) | |
Added extensions to JS interop for working with "undefined" values.
Diffstat (limited to 'documentation/bookmark/security/verification')
| -rw-r--r-- | documentation/bookmark/security/verification/formal.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/documentation/bookmark/security/verification/formal.md b/documentation/bookmark/security/verification/formal.md new file mode 100644 index 000000000..ed59c673a --- /dev/null +++ b/documentation/bookmark/security/verification/formal.md @@ -0,0 +1,4 @@ +# Reference + +0. [Verifying Dynamic Trait Objects in Rust](https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf) + |