220 followers
From Failure to Proof: The ProB Disprover for B and Event-B. - Sebastian Krings, Jens Bendisposto, Michael Leuschel http://t.co/WDcCSmD8oP
From Failure to Proof: The ProB Disprover for B and Event-B. - Sebastian Krings, Jens Bendisposto, Michael Leuschel http://t.co/WDcCSmD8oP