This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
magik-demo:user:school-example [2015/02/27 11:26] admin [Example 5: TC-QC under Set and Bag semantics] |
magik-demo:user:school-example [2017/07/06 15:24] (current) |
---|