Targeted Approach to Formal Model Checking; A Case Study

10 April 2014

Venue : Mentor Graphics User2User Conference, April 2015