The elusive bug
Refer to the course page for details about the course contents and links to relevant material.
Given below is the list of references for my presentation on Bounded Model Checking
