SPARK Pro New Features Pt5: Counter Example Generator: Riposte Part 5 in a series of 5 videos highlighting some of the new features of SPARK Pro (Release 11). This video features 'Counter Example Generator: Riposte'. From: AdaCore05 Views: 154 
0 ratings Time: 04:25 More in Science & Technology
SPARK Pro New Features Pt5: Counter Example Generator: Riposte
Part 5 in a series of 5 videos highlighting some of the new features of SPARK Pro (Release 11). This video features 'Counter Example Generator: Riposte'.
From: AdaCore05
Views: 154
0 ratings
Time: 04:25
More in Science & Technology
