31 citations · 45 across the 10 of their papers we have counts for
1 paper · 1 filter
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
The B method has facilitated the development of software by specifying the design of software as abstract machines and formally verifying the correctness of the abstract machines.…