First Page | Document Content | |
---|---|---|
Date: 2014-08-19 06:22:41 | Turning Failure into Proof: The ProB Disprover Sebastian Krings Heinrich-Heine-University Düsseldorf, Germany AbstractAdd to Reading ListSource URL: satsmt2014.forsyte.atDownload Document from Source WebsiteFile Size: 466,55 KBShare Document on Facebook |