Leveraging Rust Typesfor Modular Specification and Verification by V. Astrauskas and P. Müller and F. Poli and A. J. Summers: https://www.pm.inf.ethz.ch/research/prusti.html … #compsci
11:35 PM - 9 Nov 2019
0 replies
0 retweets
4 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.