First Page | Document Content | |
---|---|---|
Date: 2015-12-27 04:25:29 | F?: From Program Verification System to Proof Assistant Last updated: December 27, 2015 users of old F? had often no way to tell whether the property they were trying to verify was true or not. This problem is not specifAdd to Reading ListSource URL: prosecco.gforge.inria.frDownload Document from Source WebsiteFile Size: 121,56 KBShare Document on Facebook |