Andrew Rock

AR

9

Publications

341

Citations

9

H-Index

1986

Active since

Affiliations

Andrew Rock is an author at Griffith University specializing in engineering, formal methods, and automated reasoning.

Publications per year

1986–2005

9

Publications

9