245 followers
Automated Verification of RPC Stub Code. - Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz http://t.co/chBoLhvNAS
Automated Verification of RPC Stub Code. - Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz http://t.co/chBoLhvNAS