1 citations · 1 across the 1 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.…