Spécifications
Spécifications
Gerald Gannod (Arizona)
Oxford : J.P. Bowen
B
Atelier-B
Turku (Finlande)
IRETS
IRETS ftp
BCore
B User Group
Imperial College (Kevin Lano)
Oxford
Oxford ftp
Algebraic Design Language (Sheard)
Formal Methods Educational Materials (Indiana)
Stanford