Animation, Verification and Visualisation of Prolog Transition Systems with ProB | Digital Library | PAMCET

Animation, Verification and Visualisation of Prolog Transition Systems with ProB | Digital Library | PAMCET | PAMCET