Yannick Moy
Author
Alternate names Y.P. Moy, Yannick Moy
Institution AdaCore (France)
Past institutions AdaCore (France), Laboratoire de Recherche en Informatique, Université Paris-Sud, Centre National de la Recherche Scientifique, Commissariat à l'Énergie Atomique et aux Énergies Alternatives +2 more
ORCID: Yes
H-index: 14
I10-index: 20
Works count: 70
Citations count: 703
ACSL: ANSI/ISO C Specification Language
2008 · Patrick Baudin, Jean-Christophe Filliâtre, et al.
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
2013 · Yannick Moy, Emmanuel Ledinot, et al. · IEEE Software
Effects of dark rearing on the development of visual callosal connections
1989 · Douglas O. Frost, Yannick Moy · Experimental Brain Research