Axioms placed inside class types should a have a universal quantification over instances pre-pended during translation
UML-B is no longer supported - we use iUML-B instead
Log in to post a comment.
UML-B is no longer supported - we use iUML-B instead