Statistics
Publications
1
Citations
11
H-Index
1
Active since
2007
Affiliations
Juan Ignacio Perna is an author at United Nations University Institute on Computing and Society specializing in model verification, model-based verification, and model specification language.
Publications per year
2007–2007
1
1
Model Checking RAISE Applicative Specifications
Juan Ignacio Perna, C. George · 2007 · 11 citations
1–1 of 1