Course full name
Static and Dynamic Software Analysis
Course ID number
1819-87R-SDSA
Slides: Introduction to Spin - @ Spin Website
Slides: Introduction to Spin
Click on Slides: Introduction to Spin - @ Spin Website to open the resource.