Types as Models: Model Checking Message-Passing Programs (2001)

by Sagar Chaki , Sriram K. Rajamani , Jakob Rehof
Venue:In Principles of Programming Languages (POPL
Citations:83 - 3 self