First Page | Document Content | |
---|---|---|
Date: 2018-04-16 22:20:30 | A Tale of Two Provers Verifying Monoidal String Matching in Liquid Haskell and Coq Niki Vazou University of MarylandAdd to Reading ListSource URL: nikivazou.github.ioDownload Document from Source WebsiteFile Size: 591,49 KBShare Document on Facebook |