Timothy Weber

TW

3

Publications

177

Citations

3

H-Index

1993

Active since

Timothy Weber is an author at California State University System specializing in formal methods, formal verification, and automated reasoning.

Publications per year

1993–2002

3

Publications

3