Monday, May 12, 2014

Dr Ib Holm Sørensen died January 2012

Nous venons d'apprendre :

http://www.cs.ox.ac.uk/news/448-full.html

Le code du Btoolkit est déposé en ligne.
The source code to the B-Toolkit has been posted 
B-Core no longer supports or maintains the B-Toolkit.
https://github.com/edwardcrichton/BToolkit

No comments: