CIF to CIF transformation to remove unused events
Similar to #320 (closed), we could have a CIF to CIF transformation to remove unused events from a specification.
Similar to #320 (closed), we could have a CIF to CIF transformation to remove unused events from a specification.
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent