A Static Verification Framework for Message Passing in Gomrg.doc.ic.ac.uk2 points·geospeck··0 commentsOpen articleSaveView on HN