The future of formal model checking is NOW! Author(s): Ram Narayan Location: United States Year: 2014 Type: Paper Format: pdf Download
