Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
26 by snaky | 2 comments on Hacker News.
Subscribe to:
Post Comments (Atom)
-
Article URL: https://www.dropsitenews.com/p/meta-facebook-tech-copyright-privacy-whistleblower Comments URL: https://news.ycombinator.com/i...
-
By BY THE NEW YORK TIMES from NYT U.S. https://ift.tt/2JDppgp via IFTTT
No comments:
Post a Comment