Sciweavers

Share
POPL
2002
ACM

Types as models: model checking message-passing programs

10 years 10 months ago
Types as models: model checking message-passing programs
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2002
Where POPL
Authors Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
Comments (0)
books