CSE3341

User Tools

Site Tools

You are here: CSE 3341 3.0- Introduction to Program Verification » Resources
Trace:
resources

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
resources [2010/01/06 18:41] – jonathanresources [2010/03/21 22:27] (current) – jonathan
Line 9: Line 9:
  
   * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B slides]] (this course uses qa modified version of these slides)   * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B slides]] (this course uses qa modified version of these slides)
 +  * [[http://wiki.event-b.org/index.php/Rodin_Provers|How to use the provers]]
  
  
resources.txt · Last modified: 2010/03/21 22:27 by jonathan