Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
26 by snaky | 2 comments on Hacker News.
Thursday, 6 December 2018
Hacker News
Home
Hacker News
New top story on Hacker News: Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
No comments:
Post a Comment