The top documents tagged [powersetitemseventb]
Event-B in a Nutshell
48 views