Measuring the Quality of B Abstract Machines with ISO/IEC 25010.

Chenghao Cai, Jing Sun, Gillian Dobbie

Browse the full TASE paper archive.