Back to Results
First PageMeta Content



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

Document Date: 2014-08-19 06:22:41


Open Document

File Size: 466,55 KB

Share Result on Facebook
UPDATE