R. J. Corin

Computational Soundness of Formal Encryption in Coq

R. J. Corin, 2007 .

A CFD investigation into the transient aerodynamic forces on overtaking road vehicle models

R. J. Corin, Li He, Robert Dominy, 2008 .