The Future of Formal Model Checking is NOW! Author(s): Ram Narayan Location: United States Year: 2014 Type: Poster Format: pdf Download
