O. Frigola is an author at Universidade do Porto specializing in formal methods, astrophysics, and formal specification.
Top concepts
PhysicsStabilityEngineeringAstrophysicsVerificationFormal MethodsComputer ScienceNatural SciencesSoftware TestingFormal Verification
Publications per year
2014–2014
1
1
Consistency tests of the stability of fundamental couplings and unification scenarios
Michel Ferreira, O. Frigola, C. J. A. P. Martins et al. · Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D, Particles, fields, gravitation, and cosmology · 2014 · 27 citations · Full text
Consistency Tests, Relativistic Astrophysics, Engineering +20
Rows per page
1–1 of 1