Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Formal Methods in the Railways Signalling Industry | 12 | 0.98 | 1994 |
| Verification of proofs for the B formal development process | 11 | 1.10 | 1993 |
| Error-free software development for critical systems using the B-Methodology | 11 | 3.03 | 1992 |