Turning Failure into Proof: The ProB Disprover Sebastian Krings Heinrich-Heine-University Düsseldorf, Germany Abstract

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 Abstract Add to Reading List Source URL: satsmt2014.forsyte.at Download Document from Source Website File Size: 466,55 KB Share Document on Facebook