Towards an Institutional Representation for the B Model Oriented Specification.

Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Browse the full COMPSAC paper archive.