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

First Page		Document Content
Date: 2013-12-16 10:55:47		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 Source URL: wwwhome.ewi.utwente.nl Download Document from Source Website File Size: 483,90 KB Share Document on Facebook