The B Method Meets MDE: Review, Progress and Future.

Akram Idani

Browse the full RCIS paper archive.