@misc{indiciaefb5152a5766d,
  title = {Measuring the Quality of B Abstract Machines with ISO/IEC 25010},
  author = {Cheng-Hao Cai and Jing Sun and Gillian Dobbie},
  year = {2020},
  url = {https://arxiv.org/abs/2003.02619},
  note = {Source identifier: 2003.02619}
}