Kaija I. Metuzals

KI

2

Publications

683

Citations

2

H-Index

2000

Active since

Kaija I. Metuzals is an author at Inter-American Tropical Tuna Commission specializing in formal methods, verification, and formal verification.

Publications per year

2000–2010

2

Publications

2