Thoms Ball

TB

Statistics

Publications

1

Citations

263

H-Index

1

Active since

1999

Thoms Ball is an author specializing in computer engineering, program analysis, and formal methods.

Publications per year

1999–1999

1

Publications

1