90 followers
Counterexamples from Proof Failures in SPARK by David Hauzar, Claude Marché and Yannick Moy https://t.co/lRQmjNbUs3 #sefm16 #staf16
Counterexamples from Proof Failures in SPARK by David Hauzar, Claude Marché and Yannick Moy https://t.co/lRQmjNbUs3 #sefm16 #staf16