Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed. Towards an Institutional Representation for the B Model Oriented Specification. In IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014. pages 728-733, IEEE, 2014. [doi]
Abstract is missing.