Alloy Community

User login

Automated Analysis of Security APIs

Authors: 
Amerson H. Lin
Publication Venue: 
MIT MEng Thesis
When Published: 
May 1 2005


Attachment


Size
amerson-masters.pdf790.56 KB

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte