Jarred Ligatti

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Lujo Bauer, Jarred Ligatti, David Walker
Types and Effects for Non-interfering Program Monitors. ISSS (2002)