Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI * - IMDEA - Document - PDFSEARCH.IO

First Page	Meta Content
	Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI * Add to Reading List Document Date: 2015-05-02 09:36:58 Open Document File Size: 499,62 KB Share Result on Facebook

UPDATE

Mechanized Verification of Fine-grained Concurrent Programs st * Consi PLDI *Add to Reading List