Targeted Approach to Formal Model Checking; A Case Study

Targeted Approach to Formal Model Checking; A Case Study

Ram Narayan

10 April 2014


Venue : Mentor Graphics User2User Conference, April 2015