Effective Verification of Confidentiality for Multi-Threaded Programs Tri Minh Ngo, Mari¨elle Stoelinga, and Marieke Huisman University of Twente, Netherlands - NGO - Document - PDFSEARCH.IO

First Page	Meta Content
	Effective Verification of Confidentiality for Multi-Threaded Programs Tri Minh Ngo, Mari¨elle Stoelinga, and Marieke Huisman University of Twente, Netherlands Add to Reading List Document Date: 2013-12-16 10:55:47 Open Document File Size: 483,90 KB Share Result on Facebook

Effective Verification of Confidentiality for Multi-Threaded Programs Tri Minh Ngo, Mari¨elle Stoelinga, and Marieke Huisman University of Twente, Netherlands Add to Reading List