Merlin: Specification Inference for Explicit Information Flow Problems
Anindya Banerjee, Benjamin Livshits, Aditya V. Nori, and Sriram K. Rajamani
15 December 2008
Related Projects
Related People
Related Groups
Related Research Areas
©2009 Microsoft Corporation. All rights reserved.