Brian W. DeVries

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

Coauthor Index

1	Gopal Gupta	[1] [2]
2	Kevin W. Hamlen	[1]
3	Feliks Kluzniak	[2]
4	Kyle Marple	[2]
5	Richard Min	[2]
6	Scott Moore	[1]
7	Neda Saeedloei	[2]
8	Meera Sridhar	[1]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page