Experience Report on Formally Verifying Parts of OpenJDK's API with KeY

Comments

from Hacker News https://ift.tt/2Rw31I4
via

Comments

Popular posts from this blog