edwardcrichton/BToolkit
The BToolkit, a toolkit supporting software development with the B-method.
CBSD-2-Clause
Stargazers
- 00mjk
- armaninspace
- Artistrs
- bivab@zalando
- blueden-chen
- bruno-who-likes
- busfaultClarkson University
- camelusminimusHumboldt-Universität zu Berlin
- cherry-wb
- chinesebearJiangNan University
- csb6
- dnm
- edwardcrichtonOxford, United Kingdom
- evdenis
- fuyu0425Georgia Tech
- Gerkivisualgv.com
- iemttt
- jairomerSynkOpsDev
- jamesrwelchOxford University
- JeffCarpenterCanada
- juandesantALMA Observatory
- kisomUnited States
- kurtraschke@nymta
- ligurio
- link89Tan Kah Kee Innovation Laboratory
- luongnv89Paris, France
- nshanb
- pwaeROLLER
- rboyattUniversity of Warwick
- rbrunton
- sa-taschemitgedanken
- tshoangUniversity of Southampton
- ValerioMedeirosifrn.edu.br
- weetmuts@viklauverk