Jeff Remmel

JR

2

Publications

328

Citations

2

H-Index

2006

Active since

Jeff Remmel is an author at University of California San Diego specializing in engineering, automated reasoning, and formal methods.

Publications per year

2006–2008

2

Publications

2