Connecting the Dot-Dots: Model Checking Concurrency in a Security API Robert N. M. Watson∗ University of Cambridge Cambridge, UK - Robert Watson - Document - PDFSEARCH.IO

First Page	Meta Content
	Connecting the Dot-Dots: Model Checking Concurrency in a Security API Robert N. M. Watson∗ University of Cambridge Cambridge, UK Add to Reading List Document Date: 2015-01-04 23:00:53 Open Document File Size: 138,27 KB Share Result on Facebook

Connecting the Dot-Dots: Model Checking Concurrency in a Security API Robert N. M. Watson∗ University of Cambridge Cambridge, UK Add to Reading List