220 followers
Automated and Modular Refinement Reasoning for Concurrent Programs. - Chris Hawblitzel, Erez Petrank, Shaz Qadeer,… http://t.co/tSciFh4Zrc
Automated and Modular Refinement Reasoning for Concurrent Programs. - Chris Hawblitzel, Erez Petrank, Shaz Qadeer,… http://t.co/tSciFh4Zrc