2
Publications
683
Citations
2
H-Index
2000
Active since
Affiliations
Kaija I. Metuzals is an author at Inter-American Tropical Tuna Commission specializing in formal methods, verification, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2000–2010
2
2
By-Catch: Problems and Solutions
Martín Hall, Dayton L. Alverson, Kaija I. Metuzals · Marine Pollution Bulletin · 2000 · 673 citations
One fish, two fish, IUU and no fish: unreported fishing worldwide
Kaija I. Metuzals, Rachel Baird, Tony J. Pitcher et al. · 2010 · 10 citations
Rows per page
1–2 of 2