Visual animation of B specifications using executable DSLs.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul

Browse the full MODELS paper archive.