Types as models: model checking message-passing programs (0)

by S CHAKI, S K RAJAMANI, J REHOF
Venue:In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM