Alex Tweedly

AT

2

Publications

82

Citations

2

H-Index

1998

Active since

Alex Tweedly is an author specializing in formal verification, systems engineering, and computer science.

Publications per year

1998–2001

2

Publications

2