Brian W. DeVries

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
Infinite Computation, Co-induction and Computational Logic. CALCO (2011)
Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar
ActionScript bytecode verification with co-logic programming. PLAS (2009)