Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
bsr-ws2016:handson [2017/02/20 14:57] nour.assy [3rd session on Thursday, October 27] |
bsr-ws2016:handson [2017/02/20 15:01] nour.assy [3rd session on Thursday, October 27] |
||
---|---|---|---|
Line 64: | Line 64: | ||
* **Requirements**: Prior knowledge in formal verification is preferred but not required. | * **Requirements**: Prior knowledge in formal verification is preferred but not required. | ||
+ | \\ \\ | ||
---- | ---- | ||
+ | \\ \\ | ||
<WRAP group> | <WRAP group> | ||
<WRAP class center quarter column> | <WRAP class center quarter column> |