Applying B and ProB to a Real-world Data Validation Project.

Peng Cheng, Keming Wang

Browse the full ISKE paper archive.