Browsing by Author Mark Lawford, Emil Sekerinski
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
Apr-2012 | Model Based System Consistency Checking Using Event-B | Xu, Hao |
Showing results 1 to 1 of 1