Saturday, December 14, 2013

Event-B patterns and their tool support

Software & Systems ModelingVolume 12Issue 2pp 229-244Event-B patterns and their tool support

No comments: