Animation and Model Checking of CSP and B using Prolog Technology

Authors

Carla Ferreira, Michael Butler, Michael Leuschel, Laksono Adhianto, Leonid Mikhailov,