Consistency in UML and B Multi-view Specifications.

Dieu Donn Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquires

Browse the full IFM paper archive.