Allison Irvin

AI

1

Publications

40

Citations

1

H-Index

2021

Active since

Affiliations

Allison Irvin is an author at Monash University specializing in formal methods, formal verification, and data security.

Publications per year

2021–2021

1

Publications

1