Joshua Guttman - PLDI 2016

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

Not registered as user

Name:Joshua Guttman

Affiliation:Worcester Polytechnic Institute

Personal website: http://web.cs.wpi.edu/~guttman/

Contributions

2016

FMS

Report on the NSF Workshop on Formal Methods for Security

Show activities from other conferences

PLDI 2016-profile
View general profile